diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-11-28 20:13:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-28 20:13:53 +0100 |
| commit | d0e21a01b4e14df905f25445a3f6bcbec481671c (patch) | |
| tree | b6379d053bafd082a220dd993e491d64c0591a92 /manage | |
| parent | 11ba7f294ff1db37822dd5e7ec75cab5b30deccd (diff) | |
| parent | 8154dd2a2e7f0749b592882901774af9f3af05b8 (diff) | |
Merge pull request #541 from dalf/simple-theme-svg2png
Simple theme svg2png
Diffstat (limited to 'manage')
| -rwxr-xr-x | manage | 30 |
1 files changed, 0 insertions, 30 deletions
@@ -708,42 +708,12 @@ themes.oscar() { themes.simple() { local static="searx/static/themes/simple" ( set -e - convert_if_newer "src/brand/searxng-wordmark.svg" "$static/img/favicon.png" \ - -transparent white -resize 64x64 build_msg GRUNT "theme: simple" npm --prefix searx/static/themes/simple run build ) dump_return $? } -convert_if_newer() { - - # usage: convert_if_newer <origfile> <outfile> [<options>, ...] - # - # convert_if_newer "path/to/origin.svg" "path/to/converted.png" -resize 100x100 - # - # Run's ImageMagik' convert comand to generate <outfile> from <origfile>, if - # <origfile> is newer than <outfile>. The command line is to convert is:: - # - # convert <origfile> [<options>, ...] <outfile> - - local src_file="$1" && shift - local dst_file="$1" && shift - - if [[ "${src_file}" -nt "${dst_file}" ]]; then - if ! required_commands convert; then - info_msg "to install build tools use::" - info_msg " sudo -H ./utils/searx.sh install buildhost" - die 1 "install needed build tools first" - fi - build_msg CONVERT "${src_file}" "$@" "${dst_file}" - convert "${src_file}" "$@" "${dst_file}" - else - build_msg CONVERT "${dst_file} (up-to-date)" - fi -} - - PYLINT_FILES=() while IFS= read -r line; do PYLINT_FILES+=("$line") |