From 28b755d294cb969b36e6b236d7ea9eaef02c22e6 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Sun, 13 Jul 2025 13:53:49 +0200 Subject: checkpoint --- bin/common/gt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') 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 -- cgit v1.2.3-70-g09d2