diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/css2min | 9 | ||||
| -rwxr-xr-x | scripts/filters/remove_double_slash_comments | 2 | ||||
| -rwxr-xr-x | scripts/filters/remove_slash_star_comments | 2 | ||||
| -rwxr-xr-x | scripts/filters/remove_tabs | 2 | ||||
| -rwxr-xr-x | scripts/filters/remove_whitespace | 2 | ||||
| -rwxr-xr-x | scripts/filters/to_single_line | 2 | ||||
| -rwxr-xr-x | scripts/filters/trim_whitespace | 2 | ||||
| -rwxr-xr-x | scripts/js2min | 10 |
8 files changed, 31 insertions, 0 deletions
diff --git a/scripts/css2min b/scripts/css2min new file mode 100755 index 0000000..0357e41 --- /dev/null +++ b/scripts/css2min @@ -0,0 +1,9 @@ +#!/bin/sh +export PATH="$PATH:`dirname $0`/filters" +cat $@ |\ + to_single_line |\ + remove_slash_star_comments |\ + remove_tabs |\ + remove_whitespace |\ + trim_whitespace + diff --git a/scripts/filters/remove_double_slash_comments b/scripts/filters/remove_double_slash_comments new file mode 100755 index 0000000..97e5e91 --- /dev/null +++ b/scripts/filters/remove_double_slash_comments @@ -0,0 +1,2 @@ +#!/bin/sh +sed 's/\/\/.*$//g' diff --git a/scripts/filters/remove_slash_star_comments b/scripts/filters/remove_slash_star_comments new file mode 100755 index 0000000..6203b6a --- /dev/null +++ b/scripts/filters/remove_slash_star_comments @@ -0,0 +1,2 @@ +#!/bin/sh +sed -r ':a; s%(.*)/\*.*\*/%\1%; ta; /\/\*/ !b; N; ba' diff --git a/scripts/filters/remove_tabs b/scripts/filters/remove_tabs new file mode 100755 index 0000000..ffa9bf9 --- /dev/null +++ b/scripts/filters/remove_tabs @@ -0,0 +1,2 @@ +#!/bin/sh +sed 's/\t//g' diff --git a/scripts/filters/remove_whitespace b/scripts/filters/remove_whitespace new file mode 100755 index 0000000..d453fea --- /dev/null +++ b/scripts/filters/remove_whitespace @@ -0,0 +1,2 @@ +#!/bin/sh +sed 's/ */ /g' diff --git a/scripts/filters/to_single_line b/scripts/filters/to_single_line new file mode 100755 index 0000000..3b20f24 --- /dev/null +++ b/scripts/filters/to_single_line @@ -0,0 +1,2 @@ +#!/bin/sh +tr '\n' ' ' diff --git a/scripts/filters/trim_whitespace b/scripts/filters/trim_whitespace new file mode 100755 index 0000000..8663abc --- /dev/null +++ b/scripts/filters/trim_whitespace @@ -0,0 +1,2 @@ +#!/bin/sh +sed -E 's/^\s*(.*)\s+$/\1/g' diff --git a/scripts/js2min b/scripts/js2min new file mode 100755 index 0000000..bd14e81 --- /dev/null +++ b/scripts/js2min @@ -0,0 +1,10 @@ +#!/bin/sh +export PATH="$PATH:`dirname $0`/filters" +cat $@ |\ + remove_double_slash_comments |\ + to_single_line |\ + remove_slash_star_comments |\ + remove_tabs |\ + remove_whitespace |\ + trim_whitespace + |