From 9d91de38af90ee1d4033666d10613eb03f3d747f Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <raymaekers.luca@gmail.com>
Date: Mon, 1 Jul 2024 01:19:01 +0200
Subject: checkpoint

---
 bin/common/gt | 6 ++++++
 1 file changed, 6 insertions(+)

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"
 		(
-- 
cgit v1.2.3