diff options
| author | Daniel Baumann <daniel@debian.org> | 2010-07-24 16:15:27 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:17:15 +0100 |
| commit | 79b6f784534bb01b30c86992094c88f6ce757880 (patch) | |
| tree | 973db36f87db19cd10f8376c02e9669d26116b5d /debian/live-helper.bug-script | |
| parent | 8d38953630d3947dc95d8f729aabbe9b2468cca5 (diff) | |
| download | live-build-79b6f784534bb01b30c86992094c88f6ce757880.zip live-build-79b6f784534bb01b30c86992094c88f6ce757880.tar.gz | |
Renaming live-helper package to its generic name live-build, now all Debian Live are consistently and properly named.
Diffstat (limited to 'debian/live-helper.bug-script')
| -rw-r--r-- | debian/live-helper.bug-script | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/debian/live-helper.bug-script b/debian/live-helper.bug-script deleted file mode 100644 index 54ef8dd..0000000 --- a/debian/live-helper.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 |