chore: auto update all extensions using scripts

2023-03-08 23:00:55 +02:00
parent 0cc0ee1bcb
commit 09c73710c9
2 changed files with 4 additions and 0 deletions
@@ -0,0 +1,3 @@
+ls | while read dir; do if [ -d "$dir/.git" ]; 
+then echo "Pulling updates for $dir..."; 
+git -C "$dir" pull; fi; done