summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRaymaekers Luca <luca@spacehb.net>2025-07-13 13:53:31 +0200
committerRaymaekers Luca <luca@spacehb.net>2025-07-13 13:53:31 +0200
commitecf0aa974668679708835792796e623703d548c6 (patch)
tree19f4d6ed9ad8fffea4f7e78b7402d54c4db09ef5
parent845f60c6607ab8e7f306236f245d2ff39a0f6da9 (diff)
checkpoint
-rwxr-xr-xbin/common/gt2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common/gt b/bin/common/gt
index 33d58fc..73213cb 100755
--- a/bin/common/gt
+++ b/bin/common/gt
@@ -97,7 +97,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 '\''{}: done.\n'\''
+ printf '\''{}: done.\n'\'' | sed "s@^$HOME@~@"
'
else
list_repos | while read -r proj