diff options
| author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-06-10 18:50:29 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:34 +0100 |
| commit | d547ed85b5e9859476b5df4dd438c4ba55a0a129 (patch) | |
| tree | 927d44dd65667d637fb396593cd1e4b932f404d0 | |
| parent | 76319632a1c66eb2dbc7305e855b0518ac0a4879 (diff) | |
| download | live-build-d547ed85b5e9859476b5df4dd438c4ba55a0a129.zip live-build-d547ed85b5e9859476b5df4dd438c4ba55a0a129.tar.gz | |
Show contents of /etc/default/live-helper in bug info collection script
| -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 63c980e..fd04f46 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 |