naming fixes, terminal title fixes

[feisty_meow.git] / scripts / rev_control / compact_git.sh

diff --git a/scripts/rev_control/compact_git.sh b/scripts/rev_control/compact_git.sh
index c1a22ef0b5c45d41cfcddd3764aa61ed88a97d5d..8f13c0571b1e44c6abee28312b0f91316d003a5a 100644 (file)
--- a/scripts/rev_control/compact_git.sh
+++ b/scripts/rev_control/compact_git.sh
@@ -5,6 +5,8 @@
 source "$FEISTY_MEOW_SCRIPTS/core/launch_feisty_meow.sh"
 source "$FEISTY_MEOW_SCRIPTS/rev_control/version_control.sh"
 
+save_terminal_title
+
 ##############
 
 prune_dir="$1"
@@ -12,18 +14,20 @@ if [ -z "$prune_dir" ]; then
   prune_dir="$(pwd)"
 fi
 pushd "$prune_dir" &>/dev/null
-test_or_die "changing to directory: $prune_dir"
+exit_on_error "changing to directory: $prune_dir"
 
 echo "cleaning git repo in directory $(pwd)"
 
 git fsck --full
-test_or_die "git fsck"
+exit_on_error "git fsck"
 
 git gc --prune=today --aggressive
-test_or_die "git gc"
+exit_on_error "git gc"
 
 git repack
-test_or_die "git repack"
+exit_on_error "git repack"
 
 popd &>/dev/null
 
+restore_terminal_title
+