diff options
author | Remi Collet <fedora@famillecollet.com> | 2013-01-13 17:39:41 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2013-01-13 17:39:41 +0100 |
commit | 25350a7f32c0f9763224af621e9877dcb77649e6 (patch) | |
tree | e36d32930d0d0cc3aceb8cf60fd6af1572543b22 /strip.sh | |
parent | 7a5f28f9b786d13a8016e6fe357be820d5e426e3 (diff) |
php-horde-Horde-Text-Filter: remove non-free stuff
Diffstat (limited to 'strip.sh')
-rwxr-xr-x | strip.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/strip.sh b/strip.sh new file mode 100755 index 0000000..1d69b18 --- /dev/null +++ b/strip.sh @@ -0,0 +1,22 @@ +#!/bin/sh + +name=Horde_Text_Filter +list=$(mktemp) + +if [ -f $name-$1.tgz ] +then + tar xif $name-$1.tgz + tar tf $name-$1.tgz >$list.old + + rm $name-$1/lib/Horde/Text/Filter/JavascriptMinify/JsMin.php + sed -e '/JsMin.php/d' -i package.xml + + tar czf $name-$1-strip.tgz package.xml $name-$1 + tar tf $name-$1-strip.tgz | grep -v '/$' >$list.new + + diff $list.old $list.new + rm -rf $name-$1 package.xml +else + echo "usage $0 <version>" +fi +rm -f $list* |