diff options
| -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 |
