diff options
author | Jonas Smedegaard <dr@jones.dk> | 2005-07-03 02:48:59 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2005-07-03 02:48:59 +0000 |
commit | 89cd42f1703e9164ce7d4191f2ab679347aecbef (patch) | |
tree | c525bd121ab5bc85374b7f25d956294dd18122e0 | |
parent | 39a5f8c74e209395ede31349b7f2c32df6bcb525 (diff) |
Add scripts to use pbuilder for several local pools.
-rwxr-xr-x | localpbuilder-create | 21 | ||||
-rwxr-xr-x | localpdebuild | 18 |
2 files changed, 39 insertions, 0 deletions
diff --git a/localpbuilder-create b/localpbuilder-create new file mode 100755 index 0000000..28681c8 --- /dev/null +++ b/localpbuilder-create @@ -0,0 +1,21 @@ +#!/bin/sh + +if [ $# -eq 0 ]; then + echo "Usage: $(basename $0) POOL [ DISTRIBUTION [ EXTRA_ARCHIVES ] ]" + echo "" + echo "Example: $(basename $0) sarge_with_hacks sarge" + exit 1 +fi + +buildhost=`hostname -s` +pool=$1 +distro=${2:-$pool} +othermirror=${3:+--othermirror $3} + +sudo pbuilder create \ + --buildresult $HOME/pub/debian-$buildhost/pbuild-$pool/ \ + --distribution "$distro" \ + --basetgz /var/cache/pbuilder/base-$pool.tgz \ + --buildplace /var/cache/pbuilder/build-$pool/ \ + --aptcache /var/cache/pbuilder/aptcache-$pool/ \ + $othermirror diff --git a/localpdebuild b/localpdebuild new file mode 100755 index 0000000..4842db9 --- /dev/null +++ b/localpdebuild @@ -0,0 +1,18 @@ +#!/bin/sh + +if [ $# -eq 0 ]; then + echo "Usage: $(basename $0) POOL" + echo "" + echo "Example: $(basename $0) sarge_with_hacks" + exit 1 +fi + +buildhost=`hostname -s` +pool=$1 + +pdebuild \ + --buildresult $HOME/pub/debian-$buildhost/pbuild-$pool/ \ + -- \ + --basetgz /var/cache/pbuilder/base-$pool.tgz \ + --buildplace /var/cache/pbuilder/build-$pool/ \ + --aptcache /var/cache/pbuilder/aptcache-$pool/ |