From 747c7671b1a806f4809ba15aa3c95e56a2269637 Mon Sep 17 00:00:00 2001
From: Martin Pitt <martin@piware.de>
Date: Sun, 28 Feb 2021 09:23:11 +0100
Subject: [PATCH] Drop debdev

I have not used that in a while, in favor of toolbox.
---
 debdev | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 debdev

diff --git a/debdev b/debdev
deleted file mode 100755
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 "$@"
-- 
2.39.5