1 #!/usr/bin/install-menu
2 # by Iwan Heskamp <iwan@hetwasietsmet.nl>
3 # http://tdm120.el.utwente.nl/~hkp/pwm/
4 # Modified for Ion by Per Olofsson <pelle@dsv.su.se>
12 outputencoding="ISO-8859-1";
14 function q($arg) = esc($arg, "\\\"");
15 function qc($arg) = esc($arg, "\\'");
17 function entry($action)=" menuentry(\"" q(title()) "\", \""
19 function entry_exec($command)=entry("ioncore.exec('" qc($command) "')");
22 x11 = entry_exec($command);
23 wm = entry("ioncore.restart_other('" qc($command) "')");
24 text = entry_exec(term());
28 startmenu="defmenu(\"" $section "\", {\n";
30 genmenu="debian-menu.lua";
31 submenutitle=" submenu(\"" $title "\", \"" $section "\"),\n";
33 mainmenutitle="Debian";
35 rootprefix="/var/lib/ion3/";
38 preoutput= "-- Automatically generated file. Do not edit.\n-- (See /usr/share/doc/menu/menu.txt.gz)\n\n";