diff options
Diffstat (limited to 'docs/_scripts')
-rwxr-xr-x | docs/_scripts/optimize-resources.sh | 43 | ||||
-rwxr-xr-x | docs/_scripts/serve.sh | 9 |
2 files changed, 52 insertions, 0 deletions
diff --git a/docs/_scripts/optimize-resources.sh b/docs/_scripts/optimize-resources.sh new file mode 100755 index 000000000..72d45b9f1 --- /dev/null +++ b/docs/_scripts/optimize-resources.sh @@ -0,0 +1,43 @@ +#!/bin/sh +set -e +cd "$(dirname "$0")/.." + +pushd res >/dev/null + +for f in *.svg; do + svgo --multipass -q "$f" & +done + +for f in *.png; do + TMPNAME=.$f.tmp + (pngcrush -q "$f" "$TMPNAME" && mv -f "$TMPNAME" "$f") & +done + +popd >/dev/null + + +pushd samples/img >/dev/null + +for f in *.png; do + TMPNAME=.$f.tmp + if (echo "$f" | grep -q 'thumb'); then + (convert "$f" -flatten -background white -colors 16 "$TMPNAME" && pngcrush -q "$TMPNAME" "$f") & + else + (pngcrush -q "$f" "$TMPNAME" && mv -f "$TMPNAME" "$f") & + fi +done + +popd >/dev/null + + + +pushd samples/icons >/dev/null + +for f in *.svg; do + svgo --multipass -q "$f" & +done + +popd >/dev/null + + +wait diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh new file mode 100755 index 000000000..a319d8e22 --- /dev/null +++ b/docs/_scripts/serve.sh @@ -0,0 +1,9 @@ +#!/bin/sh +set -e +cd "$(dirname "$0")/.." + +if [ ! -s lab/fonts ]; then + ln -s ../../build/dist lab/fonts +fi + +jekyll serve --limit_posts 20 --watch --host 127.0.0.1 --port 3002 --open-url |