blob: 43d320ea476127cb0255529e7ad36edf31d10a16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/sh
set -eu
URL_BASE='https://github.com/PrismJS/prism/raw/gh-pages'
RES_PATH='data/resources/prism'
download_files()
{
local file=
for file in "${@}"; do
file="${file#%reldir%/}"
wget -O "$(dirname "${0}")/../${RES_PATH}/${file}" \
"${URL_BASE}/${file}"
done
}
while read line; do
case "${line}" in
*'_sources = '*)
download_files ${line#*_sources = }
;;
esac
done <"$(dirname "${0}")/../data/resources/prism/local.mk"
|
