From ddf6e90fe171130b5497f31faa79978319aa8c92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Fri, 1 May 2020 13:52:46 +0200
Subject: Setup local mirroring of frontend libs.

---
 download-deps | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 download-deps

(limited to 'download-deps')

diff --git a/download-deps b/download-deps
new file mode 100755
index 00000000..7cb06d1b
--- /dev/null
+++ b/download-deps
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+test -f v4.7.0.tar.gz || curl -sOL https://github.com/staaky/tipped/archive/v4.7.0.tar.gz
+test -d static/tipped-4.7.0/ || tar xf v4.7.0.tar.gz  -C static  tipped-4.7.0/dist/
+
+jquery="jquery-3.1.1.min.js"
+test -f "static/$jquery" || {
+	cd static
+	curl -sOL "https://code.jquery.com/$jquery"
+}
-- 
cgit v1.2.3