diff options
Diffstat (limited to 'pushpkgs')
-rwxr-xr-x | pushpkgs | 25 |
1 files changed, 25 insertions, 0 deletions
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 + |