Terminal shell integration with zsh
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 10 Oct 2016 21:08:47 +0000 (23:08 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Oct 2016 02:14:51 +0000 (04:14 +0200)
commitea6972d9a83a1b2b9d5d1d4415706fd58b7a5a05
treefcc810f7b8ab624a5b14ef8e9dfbb103e10b02cb
parent57c8c3265e877063a88f9478c225269f6499d5ae
Terminal shell integration with zsh
plugins/terminal/resources/.zshrc [new file with mode: 0644]
plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java