From 7215ecc267adb311acc09c093e4937632ca4bf7e Mon Sep 17 00:00:00 2001 From: Justin Davis Date: Tue, 30 Aug 2011 13:43:43 -0400 Subject: Add pushpkgs helper script. --- pushpkgs | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 pushpkgs diff --git a/pushpkgs b/pushpkgs new file mode 100755 index 0000000..d6ec733 --- /dev/null +++ b/pushpkgs @@ -0,0 +1,25 @@ +#!/bin/sh + +if [ -z "$DEST" ] ; then + echo "Specify the destination directory with the DEST env var." 1>&2 + exit 1 +fi + +cd pkg || exit 1 + +while [ $# -gt 0 ] ; do + pkg=$1 ; shift + if [ ! -d "$pkg" ] ; then + echo "pkg/$pkg was not found." 1>&2 + continue + fi + + echo "$DEST/$pkg" + if [ -d "$DEST/$pkg" ] ; then + rm -rf "$DEST/$pkg/trunk/"* + fi + + mkdir -p "$DEST/$pkg/"{trunk,repos} + cp -r -t "$DEST/$pkg/trunk" "$pkg"/* +done + -- cgit v1.2.3-24-g4f1b