diff devel/gen-dist @ 226:7b70bf4f1f42

renamed misc/ to devel/ because the contents are for developers
author meillo@marmaro.de
date Fri, 23 Jul 2010 11:46:08 +0200
parents misc/gen-dist@b212da6385a8
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/gen-dist	Fri Jul 23 11:46:08 2010 +0200
@@ -0,0 +1,23 @@
+#!/bin/sh
+#
+# generate a tar.gz archive to distribute
+# generate an md5sum and a detached signature of the archive
+#
+# requires:
+# - mercurial (hg)
+# - md5sum
+# - gnupg
+
+if [ $# -ne 1 -o -e "$1" ] ; then
+	echo "usage: gen-dist DEST.tar.gz" 2>&1
+	exit 1
+fi
+
+dir="${1%/*}"
+file="${1##*/}"
+
+hg archive -t tgz -X .hg\* "$1"
+
+cd "$dir"
+md5sum "$file" >"$file.md5sum"
+gpg -ab "$file"