diff options
Diffstat (limited to 'manage.sh')
| -rwxr-xr-x | manage.sh | 17 |
1 files changed, 12 insertions, 5 deletions
@@ -1,11 +1,11 @@ -#!/bin/sh +#!/bin/bash BASE_DIR="$(dirname -- "`readlink -f -- "$0"`")" export PATH="$BASE_DIR/node_modules/.bin":$PATH # the script can be sourced to update the PATH # see https://stackoverflow.com/questions/2683279/how-to-detect-if-a-script-is-being-sourced -if [ $_ != $0 ]; then +if [[ $0 != "$BASH_SOURCE" ]]; then unset BASE_DIR # sourced : exit now return @@ -132,7 +132,7 @@ npm_packages() { } build_style() { - lessc --clean-css="--s1 --advanced --compatibility=ie9" "$BASE_DIR/searx/static/$1" "$BASE_DIR/searx/static/$2" + lessc -x "$BASE_DIR/searx/static/$1" "$BASE_DIR/searx/static/$2" } styles() { @@ -144,8 +144,15 @@ styles() { build_style themes/courgette/less/style-rtl.less themes/courgette/css/style-rtl.css echo '[!] Building pix-art style' build_style themes/pix-art/less/style.less themes/pix-art/css/style.css - echo '[!] Building bootstrap style' - build_style less/bootstrap/bootstrap.less css/bootstrap.min.css + echo '[!] Building simple style' + build_style themes/simple/less/style.less themes/simple/css/searx.min.css + build_style themes/simple/less/style-rtl.less themes/simple/css/searx-rtl.min.css + echo '[!] Building logicodev' + build_style themes/oscar/less/logicodev/oscar.less themes/oscar/css/logicodev.min.css + echo '[!] Building logicodev-dark' + build_style themes/oscar/less/logicodev-dark/oscar.less themes/oscar/css/logicodev-dark.min.css + echo '[!] Building pointhi' + build_style themes/oscar/less/pointhi/oscar.less themes/oscar/css/pointhi.min.css } grunt_build() { |