system 1795 src/editor/editcmd.c e = system (tmp); system 1853 src/editor/editcmd.c e = system (tmp); system 597 src/usermenu.c ok = (system (cmd) != -1);