Drop debdev
authorMartin Pitt <martin@piware.de>
Sun, 28 Feb 2021 08:23:11 +0000 (09:23 +0100)
committerMartin Pitt <martin@piware.de>
Sun, 28 Feb 2021 08:23:11 +0000 (09:23 +0100)
I have not used that in a while, in favor of toolbox.

debdev [deleted file]

diff --git a/debdev b/debdev
deleted file mode 100755 (executable)
index b1a3619..0000000
--- a/debdev
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-set -e
-schroot="$1"
-
-if [ -z "$schroot" ]; then
-    echo "Usage: $0 <schroot> [command]" >&2
-    exit 1
-fi
-
-SESSID="schroot-debdev-$schroot"
-if ! schroot -la | grep -q "session:$SESSID"; then
-    schroot -b -c "$schroot" -n "$SESSID"
-    # work around for system groups
-    schroot -r -c session:$SESSID -u root -- addgroup --system staff || true
-    schroot -r -c session:$SESSID -u root -- apt-get install --no-install-recommends -o Dpkg::Options::="--force-confnew" -y git-buildpackage libwww-perl less vim lintian debhelper manpages-dev git dput pristine-tar bash-completion libnss-myhostname wget gnupg ubuntu-dev-tools python3-debian qemu-kvm qemu-utils
-    schroot -r -c session:$SESSID -u root -- apt-get install -y locales-all || true
-    #sudo mount -o bind /etc/schroot/ $(schroot --location -c session:$SESSID)/etc/schroot/
-fi
-shift
-schroot -r -c session:$SESSID "$@"