diff options
| -rw-r--r-- | debian/bug/script | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/bug/script b/debian/bug/script index 63c980e40..fd04f46a1 100644 --- a/debian/bug/script +++ b/debian/bug/script @@ -1,7 +1,16 @@ #!/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 + +if [ -e "${DEFAULT_SETTINGS}" ]; then + echo "Contents of ${DEFAULT_SETTINGS}:" + cat "${DEFAULT_SETTINGS}" +else + echo "${DEFAULT_SETTINGS} does not exist." +fi |