diff --git a/dist.sh b/dist.sh new file mode 100755 index 0000000..4c4fae5 --- /dev/null +++ b/dist.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +me=$(readlink -f $0) +parent=$(dirname $me) +distname=$(basename $parent) + +build=$parent/build + +. $parent/dist.version + +[ -d "$build" ] && echo "Removing $build" && rm -rf "$build" + +scripts=$build/$distname/$version +mkdir -p "$scripts" + +cp $parent/src/* $scripts/ +chmod +x $scripts/*.py + +cd $build +tar zcf $distname-$version.tar.gz $distname diff --git a/dist.version b/dist.version new file mode 100644 index 0000000..cd08b8d --- /dev/null +++ b/dist.version @@ -0,0 +1 @@ +version=1 \ No newline at end of file