naming fixes, terminal title fixes

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

diff --git a/scripts/rev_control/push_repo_downstream.sh b/scripts/rev_control/push_repo_downstream.sh
index 281cc7e9e8ea917a21b0ccd6cfc4d3bf85b0ac4b..50f8d80aa63f532851dc241ba241073c4e74753c 100644 (file)
--- a/scripts/rev_control/push_repo_downstream.sh
+++ b/scripts/rev_control/push_repo_downstream.sh
@@ -33,6 +33,8 @@
 source "$FEISTY_MEOW_SCRIPTS/core/launch_feisty_meow.sh"
 source "$FEISTY_MEOW_SCRIPTS/rev_control/version_control.sh"
 
+save_terminal_title
+
 # turn off occasionally troublesome setting before checkin.
 unset GIT_SSH
 
@@ -48,7 +50,7 @@ exit_on_error "changing to directory: $dir"
 tempfile=$(generate_rev_ctrl_filelist)
 exit_on_error "generating revision control file list"
 
-perform_revctrl_action_on_file "$tempfile" do_careful_git_update
+perform_revctrl_action_on_file "$tempfile" do_revctrl_careful_update
 exit_on_error "doing a careful update on: $tempfile"
 
 # seems to be needed to cause a merge to be resolved.
@@ -62,3 +64,4 @@ exit_on_error "running the git push downstream master"
 
 popd &>/dev/null
 
+restore_terminal_title