!7 p-exp { File finalDir = javaxDataDir("Browser-Binary"); File temp = javaxDataDir("Browser-Binary-Temp"); if (!fileExists(newFile(finalDir, "linux64"))) { unzipSnippet(#1400144, temp); for (File f : findAllFiles_noDirs(temp)) if (fileHasExtension(f, ".so") || eqOneOf(f.getName(), "jcef_helper", "chrome-sandbox", "run.sh")) makeExecutable(f); renameFile(temp, finalDir); } File runner = newFile(finalDir, "linux64/run2.sh"); saveTextFile(runner, "cd " + bashQuote(dirOfFile(runner)) + "; ./run.sh"); makeExecutable(runner); nohup(runner); }