diff options
author | Daniel Baumann <daniel@debian.org> | 2009-02-08 10:49:03 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:09:41 +0100 |
commit | 301d507f12281f15580ad95c48f66fa07d16f48c (patch) | |
tree | aab23d6f38115bbf814af7821a9a7af0f82bc94f /debian/bug/script | |
parent | 43bc965d5abb41bebad8c8d0e08f897649e7f869 (diff) | |
download | live-build-301d507f12281f15580ad95c48f66fa07d16f48c.zip live-build-301d507f12281f15580ad95c48f66fa07d16f48c.tar.gz |
Prefixing debhelper files with package name.
Diffstat (limited to 'debian/bug/script')
-rw-r--r-- | debian/bug/script | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/debian/bug/script b/debian/bug/script deleted file mode 100644 index 54ef8dd..0000000 --- a/debian/bug/script +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -DEFAULT_SETTINGS="/etc/default/live-helper" - -# Checking depends -dpkg -l debootstrap cdebootstrap - -# Checking suggests -dpkg -l dosfstools genisoimage memtest86+ memtest86 mtools parted squashfs-tools genext2fs mtd-tools sudo fakeroot syslinux grub uuid-runtime win32-loader - -if [ -e "${DEFAULT_SETTINGS}" ]; then - echo "Contents of ${DEFAULT_SETTINGS}:" - cat "${DEFAULT_SETTINGS}" -else - echo "${DEFAULT_SETTINGS} does not exist." -fi |