From 95ada5925b60545416ad25f8a243afea99d54724 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Sat, 11 Aug 2012 18:51:09 +0200 Subject: mysql-workbench: remove non-gpl documentation --- stripdocs.sh | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100755 stripdocs.sh (limited to 'stripdocs.sh') 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 + -- cgit