nuovo file: .gitignore master
authordanix <danix@danix.xyz>
Sun, 26 Apr 2020 19:16:05 +0000 (21:16 +0200)
committerdanix <danix@danix.xyz>
Sun, 26 Apr 2020 19:16:05 +0000 (21:16 +0200)
nuovo file:             edit

.gitignore [new file with mode: 0644]
edit [new file with mode: 0644]

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..1c17649
--- /dev/null
@@ -0,0 +1,2 @@
+.*.un~
+*~
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