chiark - git - mdw - e16/blob - debian/e16.menu-method

   1 #!/usr/bin/install-menu
   2
   3 !include menu.h
   4
   5 compat="menu-2";
   6 outputencoding="LOCALE";
   7
   8 treewalk="c(m)";
   9 rootprefix="/var/lib/e16/";
  10 userprefix=".e16/menus_debian/";
  11 mainmenutitle="Debian Menu";
  12
  13 function menu_sh() = prefix() "debian_menu_sh";
  14 prerun="set -e; rm -f " prefix() "debian*menu/" menu_sh();
  15 postrun="set -e; cat " menu_sh() " | sh; rm -f " menu_sh();
  16
  17 function quote($text)= "\"" replacewith($text,"\"","'") "\"";
  18 function tick($text)= "'" escwith($text,"'", "'\\'") "'";
  19
  20 function space()= "   ";
  21 function newline()="\n";
  22
  23 function entry($com)= quote(title()) space()
  24                       ifelse(icon(),quote(icon()),"NULL") space()
  25                       "exec" space()
  26                       $com;
  27
  28 supported;
  29   wm=         entry(quote("eesh -e " tick("exit exec " $command)) newline());
  30   x11=        entry(quote($command) newline());
  31   text=       entry(quote(term()) newline());
  32 endsupported;
  33
  34 function etitle()= esc(tolower(replacewith(replace("/" $section,"//",""),"/ ","__") ".menu"),"()");
  35
  36 startmenu= "cat > " prefix() tick(etitle()) " << 'END'" newline() quote(title()) newline();
  37
  38 endmenu= "END" newline() newline();
  39
  40 submenutitle=quote(title()) " NULL   menu " quote(prefix() etitle()) "\n";
  41
  42 genmenu="debian_menu_sh";