From f43184a57698bd4f44d92f29d7c220521eb92f44 Mon Sep 17 00:00:00 2001
From: Thorsten Töpper <atsutane@freethoughts.de>
Date: Fri, 2 Feb 2024 22:56:54 +0100
Subject: add old script to pull for the local git repos.

---
 pull_git_repos.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 pull_git_repos.sh

diff --git a/pull_git_repos.sh b/pull_git_repos.sh
new file mode 100755
index 0000000..1bee289
--- /dev/null
+++ b/pull_git_repos.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+cd ~/git
+for f in * ; do
+    if [ -d "$f" ] && [ -d "$f/.git" ]; then
+        cd "$f"
+        echo -e "\n\e[1m" ; pwd ; echo -e "\e[0m"
+        git pull
+        cd ~/git
+    fi
+done
+
-- 
cgit v1.2.3-70-g09d2