BGP-Ranking/website/3drparty.sh

14 lines
427 B
Bash
Raw Normal View History

2018-04-11 18:04:40 +02:00
#!/bin/bash
set -e
set -x
2018-04-12 18:09:04 +02:00
mkdir -p web/static/
2018-05-31 15:48:11 +02:00
wget https://d3js.org/d3.v5.js -O web/static/d3.v5.js
BOOTSTRAP_SELECT="1.12.4"
wget https://cdnjs.cloudflare.com/ajax/libs/bootstrap-select/${BOOTSTRAP_SELECT}/css/bootstrap-select.min.css -O web/static/bootstrap-select.min.css
wget https://cdnjs.cloudflare.com/ajax/libs/bootstrap-select/${BOOTSTRAP_SELECT}/js/bootstrap-select.min.js -O web/static/bootstrap-select.min.js