2015-03-02 14:55:34 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
DEST_DIR="web/static/"
|
|
|
|
|
|
2019-04-25 14:08:46 +02:00
|
|
|
ANGULAR='1.7.8'
|
2018-11-16 10:26:55 +01:00
|
|
|
ANGULAR_BOOTSTRAP='2.5.0'
|
2015-03-02 14:55:34 +01:00
|
|
|
|
|
|
|
|
wget https://ajax.googleapis.com/ajax/libs/angularjs/${ANGULAR}/angular.min.js -O ${DEST_DIR}/angular.min.js
|
|
|
|
|
wget https://angular-ui.github.io/bootstrap/ui-bootstrap-tpls-${ANGULAR_BOOTSTRAP}.min.js -O ${DEST_DIR}/ui-bootstrap-tpls.min.js
|
|
|
|
|
|
2018-11-16 10:26:55 +01:00
|
|
|
wget https://raw.githubusercontent.com/sphinxsearch/sphinx/master/api/sphinxapi.py -O sphinxapi.py
|
2015-03-02 14:55:34 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
