Aleksander Machniak
5ce5f9a8bc
Use Github API as a fallback to fetch js dependencies to workaround throttling issues ( #6248 )
7 years ago
Aleksander Machniak
264da42fa5
Use 0775 permission, it's needed for e.g. skins/elastic/deps folder
7 years ago
Aleksander Machniak
4a7603a207
Install Bootstrap and LessJS with install-jsdeps.sh
7 years ago
Aleksander Machniak
3f6ca2cffc
Add --get and --extract arguments and CACHEDIR env-variable support to install-jsdeps.sh ( #5882 )
7 years ago
Kai Ren
9a6ab3dc86
Fix absent directory error in `install-jsdeps.sh` when processing `maps` section ( #5819 )
7 years ago
Thomas Bruederli
109ca4dfc2
Fix js-deps check and installation
8 years ago
Aleksander Machniak
715e8bf8bd
Print error from CLI scripts when system/exec function is disabled ( #5744 )
8 years ago
Aleksander Machniak
9eefa47e45
Fix codemirror re-installation
...
When re-installing a dependency with 'map' entries containing * character
these dest folders were not properly cleaned up before moving new files
to them. It's because path with * does not work in is_dir().
8 years ago
Aleksander Machniak
15d0c55b20
Throw error if one of required programs is not installed ( #5598 )
8 years ago
Aleksander Machniak
3679cb7c34
Add --delete argument to install-jsdeps.sh
8 years ago
Aleksander Machniak
c761f5b6e3
Fix function name
8 years ago
Aleksander Machniak
cb09ff0ffc
Make it working with wget when curl is not installed, mark --force argument as boolean
8 years ago
Thomas Bruederli
40cd8d3bdd
Add --force option + update install insructions ( #5535 )
8 years ago
Thomas Bruederli
10f6fb4cc7
Install script to fetch javascript dependencies defined in jsdeps.json ( #5535 )
8 years ago