add discord presence

Vector35 · Jan 9, 2024 · 7778086 · 7778086
1 parent 40768eb
commit 7778086
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/listing.json b/listing.json
@@ -1,4 +1,8 @@
 [
+  {
+    "name": "psifertex/discordpresence",
+    "auto_update": true
+  },
   {
     "name": "dzervas/frinja",
     "auto_update": true

diff --git a/mirror-all-plugins.sh b/mirror-all-plugins.sh
@@ -6,8 +6,12 @@ then
 fi
 for plugin in `grep '"name"' listing.json|awk -F\" '{print $4}'`
 do
-  git -C $DOWNLOAD_DIR clone https://github.com/$plugin
-  pushd $DOWNLOAD_DIR
+  dirname=`echo $plugin|sed 's/.*\///g'`
+  if [ ! -d $DOWNLOAD_DIR/$dirname ]
+  then
+    git -C $DOWNLOAD_DIR clone https://github.com/$plugin
+  fi
+  pushd $DOWNLOAD_DIR/$dirname
   git submodule update --init --recursive
   popd
 done