From 2907e51fde691a498a2ceb71708831715b59b45f Mon Sep 17 00:00:00 2001
From: Ferenc Schulcz <schulcz.ferenc@gmail.com>
Date: Thu, 6 Feb 2025 13:53:52 +0100
Subject: [PATCH] Fix git puller
---
git-pull-everything.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git-pull-everything.sh b/git-pull-everything.sh
index 0a5552a..175f975 100755
--- a/git-pull-everything.sh
+++ b/git-pull-everything.sh
@@ -3,7 +3,7 @@
cd $(dirname $(realpath "$0"))
for plugin in plugins/*/; do
- if ! ( stat "plugins/${plugin}/.git" ); then
+ if ! ( stat "${plugin}.git" >/dev/null 2>/dev/null ); then
continue
fi
echo "Pulling ${plugin}..."
--
GitLab