Syntax for executing shell commands from inside JS