// uses v6
static File stefansOS_addToLinuxStartMenu() {
  File file = linuxStartMenuApplicationsFolder("stefans-os.desktop");
  File javaxPath = javaxJarPath();
  S cmd = _javaCommand() + " -jar " + platformQuote(javaxPath) + " " + parseSnippetID(#1016478);
  print("Command used: " + cmd);
  saveTextFileVerbose(file, replaceDollarVars_unindentMLS([[
    [Desktop Entry]
    Version=6.0
    Name=Stefan's OS v6
    Name[en_US]=Stefan's OS
    Comment=by Stefan Reich
    Exec=$cmd
    Icon=
    Terminal=false
    Type=Application
    ncoding=UTF-8
    Categories=Accessories;
  ]], +cmd));
  infoBox("Stefan's OS added to start menu");
  ret file;
}