popping directory in error case
authorChris Koeritz <fred@gruntose.com>
Sat, 12 Oct 2024 06:05:47 +0000 (02:05 -0400)
committerChris Koeritz <fred@gruntose.com>
Sat, 12 Oct 2024 06:05:47 +0000 (02:05 -0400)
don't want to leave a bunch of pushd history

scripts/archival/general_updater.sh

index 8e7cff95eddbc59d072a4d95c8ed78943c912412..a7721898ef7e4321f18804bf400f9de16852917f 100644 (file)
@@ -25,6 +25,7 @@ function update_source_folders()
   bash "$FEISTY_MEOW_SCRIPTS/rev_control/rcheckin.sh"
   if [ $? -ne 0 ]; then
     echo Checking out the latest codes has failed somehow for $folder.
+    popd
     return 1
   fi
   popd