add script to mirror all plugins locally

Author: psifertex

.gitignore

@@ -0,0 +1 @@
+mirror/

mirror-all-plugins.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+DOWNLOAD_DIR="mirror"
+if [ ! -d $DOWNLOAD_DIR ]
+then
+  mkdir $DOWNLOAD_DIR
+fi
+for plugin in `grep '"name"' listing.json|awk -F\" '{print $4}'`
+do
+  git -C $DOWNLOAD_DIR clone https://github.com/$plugin
+done