# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1352050055 -3600
# Node ID 56cb1d2a78ee71ae6af1cb0ec7ac181febf9cf67
# Parent  8b50bb23e0370a2e8c0a6c20c0a65df2c39472ea
Used an explicit path for debootstrap.

diff -r 8b50bb23e037 -r 56cb1d2a78ee user-setup
--- a/user-setup	Sun Nov 04 18:24:38 2012 +0100
+++ b/user-setup	Sun Nov 04 18:27:35 2012 +0100
@@ -35,9 +35,9 @@
 MIRROR="$1"
 
 if [ "$AS_ROOT" ]; then
-        sudo debootstrap --include="gnupg,$KEYRING" "$USERINSTALL_CODENAME" "$PACKAGEROOT" "$MIRROR"
+        sudo /usr/sbin/debootstrap --include="gnupg,$KEYRING" "$USERINSTALL_CODENAME" "$PACKAGEROOT" "$MIRROR"
 else
-        fakeroot fakechroot $FAKECHROOT_OPTIONS debootstrap --variant=fakechroot --include="gnupg,$KEYRING" \
+        fakeroot fakechroot $FAKECHROOT_OPTIONS /usr/sbin/debootstrap --variant=fakechroot --include="gnupg,$KEYRING" \
                 "$USERINSTALL_CODENAME" "$PACKAGEROOT" "$MIRROR"
 fi