From 794e1951e4817c812d5d1897b43df92b91fbd581 Mon Sep 17 00:00:00 2001 From: Raghuram Subramani Date: Tue, 14 Oct 2025 19:29:34 -0400 Subject: ignore & unignore --- help | 2 ++ ignore | 27 +++++++++++++++++++++++++++ unignore | 27 +++++++++++++++++++++++++++ 3 files changed, 56 insertions(+) create mode 100755 ignore create mode 100755 unignore diff --git a/help b/help index 5d1f640..6412f50 100755 --- a/help +++ b/help @@ -7,6 +7,8 @@ ls init desc rm +ignore +unignore bash clone-all-github """ diff --git a/ignore b/ignore new file mode 100755 index 0000000..54b988e --- /dev/null +++ b/ignore @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +if [ $# -ne 1 ]; then + echo "usage: ignore " + 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 " + 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 -- cgit v1.2.3