naming fixes, terminal title fixes
authorChris Koeritz <fred@gruntose.com>
Tue, 22 May 2018 15:01:24 +0000 (11:01 -0400)
committerChris Koeritz <fred@gruntose.com>
Tue, 22 May 2018 15:01:24 +0000 (11:01 -0400)
commit6d75b43bb2eb13a67e8a444bf6c07807435e2aa7
tree389d9e3cd7805de70e203eb9c766b7ab3286d2cc
parenta96a113c134dfb31cebae4a1ac6db00a1d8af387
naming fixes, terminal title fixes

made the names for revision control a lot more cohesive.
fixed the save terminal stuff by only doing it at the outer boundaries of our revision control commands, rather than mixing it all through the bash library functions for version control.
16 files changed:
scripts/rev_control/checkin.sh
scripts/rev_control/compact_git.sh
scripts/rev_control/diff_repos.sh
scripts/rev_control/getem.sh
scripts/rev_control/git_info.sh
scripts/rev_control/git_scruncher.sh
scripts/rev_control/puffer.sh
scripts/rev_control/push_repo_downstream.sh
scripts/rev_control/rcheckin.sh
scripts/rev_control/report_new.sh
scripts/rev_control/resolve_svn.sh
scripts/rev_control/rgetem.sh
scripts/rev_control/rpuffer.sh
scripts/rev_control/svnapply.sh
scripts/rev_control/version_control.sh
scripts/text/diff_lib.pl