nuovo file: .gitignore

[git_shell.git] / edit

diff --git a/edit b/edit
new file mode 100644 (file)
index 0000000..31fd8d5
--- /dev/null
+++ b/edit
@@ -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