# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1188150293 -7200
# Node ID 567c85c92dd89a58b7f920e2de5eade5c932cdc3
# Parent  aec852ce05f79615746c79411b1a05d7aa0b1c3d
Renamed user-apt to user-apt-get.

diff -r aec852ce05f7 -r 567c85c92dd8 user-apt
--- a/user-apt	Sun Aug 26 19:44:27 2007 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-#!/bin/bash
-
-# Configuration:
-if [ -e userinstall-defaults ]; then
-        source userinstall-defaults
-elif [ -e /etc/defaults/userinstall ]; then
-        source /etc/defaults/userinstall
-else
-        echo "No defaults found for userinstall."
-        exit 1
-fi
-
-fakeroot fakechroot chroot $PACKAGEROOT apt-get $*
diff -r aec852ce05f7 -r 567c85c92dd8 user-apt-get
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user-apt-get	Sun Aug 26 19:44:53 2007 +0200
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Configuration:
+if [ -e userinstall-defaults ]; then
+        source userinstall-defaults
+elif [ -e /etc/defaults/userinstall ]; then
+        source /etc/defaults/userinstall
+else
+        echo "No defaults found for userinstall."
+        exit 1
+fi
+
+fakeroot fakechroot chroot $PACKAGEROOT apt-get $*