summaryrefslogtreecommitdiff
path: root/bin/common/gt
diff options
context:
space:
mode:
Diffstat (limited to 'bin/common/gt')
-rwxr-xr-xbin/common/gt2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common/gt b/bin/common/gt
index 73213cb..03ca464 100755
--- a/bin/common/gt
+++ b/bin/common/gt
@@ -109,7 +109,7 @@ while getopts ":a:c:f:dlsheu" opt; do
git add .
git commit --all -m "checkpoint" > /dev/null 2>&1
git push > /dev/null 2>&1
- printf '%s: done.\n' "$proj"
+ printf '%s: done.\n' "$proj" | sed "s@^$HOME@~@"
)
done
fi