diff options
Diffstat (limited to 'stripdocs.sh')
| -rwxr-xr-x | stripdocs.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/stripdocs.sh b/stripdocs.sh new file mode 100755 index 0000000..d37a850 --- /dev/null +++ b/stripdocs.sh @@ -0,0 +1,33 @@ +#!/bin/bash + +if [ "$1" = "" ]; then + echo usage $0 version + exit 1 +fi + +if [ ! -f mysql-workbench-gpl-$1-src.tar.gz ]; then + echo please download mysql-workbench-gpl-$1-src.tar.gz + echo from http://www.mysql.com/downloads/workbench/ + exit 1 +fi + +tdir=`mktemp -d tmpXXXXXX` +pushd $tdir + +echo -n "unpacking..." +tar xzf ../mysql-workbench-gpl-$1-src.tar.gz && echo " done" +rm -rf mysql-workbench-gpl-$1-src/plugins/wb.doclib/res/DocLibrary +echo -n "packing..." +tar cJf ../mysql-workbench-nodocs-$1.tar.xz mysql-workbench-gpl-$1-src && echo " done" + +echo -n "diffing..." +tar tzf ../mysql-workbench-gpl-$1-src.tar.gz | sort >before +echo -n "..." +tar tJf ../mysql-workbench-nodocs-$1.tar.xz | sort >after + +diff before after + +popd +echo "cleaning..." +rm -rf $tdir + |