diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-07-01 01:19:01 +0200 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-07-01 01:19:01 +0200 |
| commit | 9d91de38af90ee1d4033666d10613eb03f3d747f (patch) | |
| tree | ab09e23c85358326e34604856df835794dc0cef7 /bin/common/gt | |
| parent | e1de506156454ba1d324faf548ad15fe804aa806 (diff) | |
checkpoint
Diffstat (limited to 'bin/common/gt')
| -rwxr-xr-x | bin/common/gt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/common/gt b/bin/common/gt index c16623e..7609e90 100755 --- a/bin/common/gt +++ b/bin/common/gt @@ -19,6 +19,7 @@ usage: gt [OPTION] -h show this help -l list repos -e edit repos in \$EDITOR +-f FILE use FILE as list of repos EOF } @@ -63,6 +64,11 @@ status() { # $1: command repos_cmd() { while read -r repo; do + if [ ! -d "$repo" ]; then + printf '%s missing\n' "$repo_pretty" + continue + fi + repo_pretty="$(printf '%s' "$repo" | sed "s@$HOME@~@")" printf ''\''%s'\'' in %s' "$1" "$repo_pretty" ( |