projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02de2e3) | patch
Default to /bin/sh if /bin/bash is absent
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 10 Oct 2016 20:50:22 +0000 (22:50 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Oct 2016 02:14:51 +0000 (04:14 +0200)
commit57c8c3265e877063a88f9478c225269f6499d5ae
tree5e354ca8392177c4e47ab25bceaf3f4e67cded30tree
parent02de2e334657f32c346142d25b0ac0ca6942ec06commit | diff
Default to /bin/sh if /bin/bash is absent
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.