diff options
| author | danix <danix@danix.xyz> | 2020-04-26 21:16:05 +0200 |
|---|---|---|
| committer | danix <danix@danix.xyz> | 2020-04-26 21:16:05 +0200 |
| commit | 11e0ea6b6d39aac3e2e6fbd53e07f7839dc00a70 (patch) | |
| tree | b55ebaabbf8c3d9b2c19f09bd0c9b96fa7b52ac8 | |
| parent | ac06b1091e61aa65026621cd5eca1f2b7c2b4df3 (diff) | |
| download | git_shell-master.tar.gz git_shell-master.zip | |
nuovo file: edit
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | edit | 23 |
2 files changed, 25 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..1c17649 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +.*.un~ +*~ @@ -0,0 +1,23 @@ +#! /bin/bash + +# usage: edit <PROJECT> - edit a git repository named PROJECT.git +# this command will edit some settings for the repo and send an email. + +GITDIR="/var/git" + +function is_bare() { + repodir=$1 + if "$(git --git-dir="$repodir" rev-parse --is-bare-repository)" = true + then + true + else + false + fi +} + +function edit_desc() { + PROJECT=$1 + echo "modifying description for \"${PROJECT}.git\"" + echo -n "Describe your project in one line: " + read DESCRIPTION + cd ${GITDIR}/${PROJECT}.git |