blob: d37a8507f55db4e78fbf504cbdf0153f40c4c91f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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
|
