diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:53:49 +0200 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:53:49 +0200 |
| commit | 28b755d294cb969b36e6b236d7ea9eaef02c22e6 (patch) | |
| tree | aba2e1309fb373a4fb32c87380567cade32bb503 /bin | |
| parent | ecf0aa974668679708835792796e623703d548c6 (diff) | |
checkpoint
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/common/gt | 2 |
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 |
