From 0497f180b236a9a75e338481cba2c65411bf84c9 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Fri, 17 Nov 2017 20:56:08 -0500 Subject: [PATCH] developer has no rpuffer access, so just rgetem --- scripts/site_avenger/revamp_cakelampvm.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/site_avenger/revamp_cakelampvm.sh b/scripts/site_avenger/revamp_cakelampvm.sh index fa9d0361..950ad5bc 100644 --- a/scripts/site_avenger/revamp_cakelampvm.sh +++ b/scripts/site_avenger/revamp_cakelampvm.sh @@ -139,7 +139,7 @@ test_or_die "changing dir to fred's home; what have you done with fred?" pushd apps/mapsdemo/avenger5 test_or_die "changing dir to mapsdemo app" -rpuffer . &>/dev/null +rgetem . &>/dev/null if [ $? -ne 0 ]; then # it seems our old files are still conflicting this. if [ -f config/config_google.php ]; then @@ -154,9 +154,9 @@ if [ $? -ne 0 ]; then git reset --hard HEAD test_or_die "resetting git's hard head" - rpuffer . + rgetem . #hmmm: use output saver thing when that exists. - test_or_die "puffing out mapsdemo app after inadequate corrective action was taken" + test_or_die "getting mapsdemo app after inadequate corrective action was taken" fi popd -- 2.34.1