# HG changeset patch # User Pascal Bellard # Date 1428937440 -7200 # Node ID 64df20b58acc7aa084dc07e0fa0f72c5f29c841d # Parent 57d6b49df2a298fb8aa2c369bc483bd1b637ecd3 header.html: show menu diff -r 57d6b49df2a2 -r 64df20b58acc styles/default/header.html --- a/styles/default/header.html Mon Apr 13 12:44:30 2015 +0200 +++ b/styles/default/header.html Mon Apr 13 17:04:00 2015 +0200 @@ -59,8 +59,8 @@
  • $(_ 'System logs')
  • $(_ 'Manage daemons')
  • - $([ "$REMOTE_USER" == "root" -a -x /usr/bin/taziso ] && - echo "
  • $(_ 'ISO mine')") + $([ -x /usr/bin/taziso ] && + echo "
  • $(_ 'ISO mine')") $(for i in menu.d/boot/* ; do [ -f $i ] && sh $i menu $i ; done)