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