summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorRaymaekers Luca <luca@spacehb.net>2025-07-13 13:53:49 +0200
committerRaymaekers Luca <luca@spacehb.net>2025-07-13 13:53:49 +0200
commit28b755d294cb969b36e6b236d7ea9eaef02c22e6 (patch)
treeaba2e1309fb373a4fb32c87380567cade32bb503 /bin
parentecf0aa974668679708835792796e623703d548c6 (diff)
checkpoint
Diffstat (limited to 'bin')
-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