From c883ab05dae60a3966ffef7c11626dd858781eee Mon Sep 17 00:00:00 2001
From: Patrick McDermott <pj@pehjota.net>
Date: Tue, 31 Oct 2017 04:08:07 -0400
Subject: scripts/update-prism.sh: New script

---
(limited to 'scripts')

diff --git a/scripts/update-prism.sh b/scripts/update-prism.sh
new file mode 100755
index 0000000..841cb08
--- /dev/null
+++ b/scripts/update-prism.sh
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+set -eu
+
+download_files()
+{
+	local file=
+
+	for file in "${@}"; do
+		file="${file#%reldir%/}"
+		wget -O "$(dirname "${0}")/../data/resources/prism/${file}" \
+			"https://github.com/PrismJS/prism/raw/gh-pages/${file}"
+	done
+}
+
+while read line; do
+	case "${line}" in
+		*'_sources = '*)
+			download_files ${line#*_sources = }
+			;;
+	esac
+done <"$(dirname "${0}")/../data/resources/prism/local.mk"
--
cgit v0.9.1