# HG changeset patch # User Pascal Bellard # Date 1364024291 -3600 # Node ID 2275c62653b62930d52a080f8a154f93dbb1b335 # Parent 038f6ab34bd8cd011642f2055e09bde529be2b0b header.html: add menu extensions for panel, settings, boot and hardware (again) diff -r 038f6ab34bd8 -r 2275c62653b6 styles/default/header.html --- a/styles/default/header.html Sat Mar 23 08:18:09 2013 +0100 +++ b/styles/default/header.html Sat Mar 23 08:38:11 2013 +0100 @@ -36,7 +36,7 @@ src="/styles/default/images/monitor.png" />$(gettext 'Processes')
  • $(gettext 'Create Report')
  • - $(for i in menu.d/panel/* ; do [ -s $i ] && . $i ; done) + $(for i in menu.d/panel/* ; do [ -f $i ] && . $i ; done)
  • $(gettext 'Packages') @@ -67,7 +67,7 @@ src="/styles/default/images/user.png" />$(gettext 'Users')
  • $(gettext 'Groups')
  • - $(for i in menu.d/settings/* ; do [ -s $i ] && . $i ; done) + $(for i in menu.d/settings/* ; do [ -f $i ] && . $i ; done)
  • $(gettext 'Boot') @@ -78,7 +78,7 @@ src="/styles/default/images/recharge.png" />$(gettext 'Manage daemons')
  • $(gettext 'Boot loader')
  • - $(for i in menu.d/boot/* ; do [ -s $i ] && . $i ; done) + $(for i in menu.d/boot/* ; do [ -f $i ] && . $i ; done)
  • $(gettext 'Hardware') @@ -89,7 +89,7 @@ src="/styles/default/images/monitor.png" />$(gettext 'Detect PCI/USB')
  • $(gettext 'Disks')
  • - $(for i in menu.d/hardware/* ; do [ -s $i ] && . $i ; done) + $(for i in menu.d/hardware/* ; do [ -f $i ] && . $i ; done)
  • $(gettext 'Live') @@ -101,7 +101,7 @@
  • $(gettext 'Build a meta ISO')
  • - $(for i in menu.d/* ; do [ -s $i ] && . $i ; done) + $(for i in menu.d/* ; do [ -f $i ] && . $i ; done)