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-04-11 18:04:40 +02:00
|
|
|
wget https://code.jquery.com/ui/1.12.1/jquery-ui.js -O web/static/jquery-ui.js
|
|
|
|
|
wget https://code.jquery.com/ui/1.12.1/themes/base/jquery-ui.css -O web/static/jquery-ui.css
|
