Zachary Yedidia 83190a578e Change HandleShellCommand backend ...

I'm trying to add more options for plugins that want to run shell
commands. Also trying to add support for running shell commands in the
terminal emulator from a plugin and return the output.

More to come soon.

Ref #979

2018-01-20 22:23:52 -05:00

..

micro

Change HandleShellCommand backend

2018-01-20 22:23:52 -05:00