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