/usr/share/jed/lib/runpgm.sl is in jed-common 1:0.99.19-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | #ifdef XWINDOWS
custom_variable ("XTerm_Pgm", "xterm");
define _jed_run_program_hook (s)
{
s = strtrim_end (s, " \t&");
return system (sprintf ("%s -e %s &", XTerm_Pgm, s));
}
#endif
#ifdef WIN32
custom_variable("W32shell_Perform_Globbing", 0);
define _win32_get_helper_app_name ()
{
variable s, h;
s = getenv ("COMSPEC");
if (s == NULL)
s = "cmd.exe";
if (W32shell_Perform_Globbing)
h = dircat (Jed_Bin_Dir, "w32/g32shell.exe");
else
h = dircat (Jed_Bin_Dir, "w32/w32shell.exe");
sprintf ("%s %s /c", h, s);
}
#endif
public define vrun_program ()
{
variable args = __pop_args (_NARGS);
return run_program (sprintf (__push_args (args)));
}
|