diff options
-rwxr-xr-x | help | 2 | ||||
-rwxr-xr-x | ignore | 27 | ||||
-rwxr-xr-x | unignore | 27 |
3 files changed, 56 insertions, 0 deletions
@@ -7,6 +7,8 @@ ls init <name> desc <name> rm <name> +ignore <name> +unignore <name> bash clone-all-github """ @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +if [ $# -ne 1 ]; then + echo "usage: ignore <name>" + exit 1 +fi + +USER="compromyse" + +base_dir="$HOME" +repo="${base_dir}/$1" + +case $repo in + *\.git) + ;; + *) + repo="${repo}.git" + ;; +esac + +if [ ! -d "$repo" ]; then + echo "$repo does not exist" + exit 1 +fi + +cd $repo +git config cgit.ignore 1 diff --git a/unignore b/unignore new file mode 100755 index 0000000..76097ac --- /dev/null +++ b/unignore @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +if [ $# -ne 1 ]; then + echo "usage: ignore <name>" + exit 1 +fi + +USER="compromyse" + +base_dir="$HOME" +repo="${base_dir}/$1" + +case $repo in + *\.git) + ;; + *) + repo="${repo}.git" + ;; +esac + +if [ ! -d "$repo" ]; then + echo "$repo does not exist" + exit 1 +fi + +cd $repo +git config cgit.ignore 0 |