diff options
| author | Daniel Baumann <daniel@debian.org> | 2009-08-06 20:30:27 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:48:05 +0100 |
| commit | 8144f957e4f61ee26c1e56719a78ca4f97073aeb (patch) | |
| tree | e9ebfab507341d38821cbd1eaebb064cd4ef2bd3 | |
| parent | e8fa5c87d3be700a002c9b98c88bd7e2dfaaf879 (diff) | |
| download | live-boot-8144f957e4f61ee26c1e56719a78ca4f97073aeb.tar.gz live-boot-8144f957e4f61ee26c1e56719a78ca4f97073aeb.zip | |
Fail early in gnome-panel-data bottom script if gnome-panel-data is not installed.
| -rwxr-xr-x | scripts/live-bottom/22gnome_panel_data | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/live-bottom/22gnome_panel_data b/scripts/live-bottom/22gnome_panel_data index bd0be26..9d2bb2f 100755 --- a/scripts/live-bottom/22gnome_panel_data +++ b/scripts/live-bottom/22gnome_panel_data @@ -20,7 +20,7 @@ esac # live-initramfs header -if [ -n "${NOGNOMEPANEL}" ] +if [ ! -e /root/var/lib/dpkg/info/gnome-panel-data.list ] || [ -n "${NOGNOMEPANEL}" ] then exit 0 fi |