<div dir="ltr">Hi,<div><br></div><div>This sounds awesome!</div><div><br><div>2017-12-04 15:05 GMT+01:00 Arndt, Josua <span dir="ltr"><<a href="mailto:jarndt@ias.rwth-aachen.de" target="_blank">jarndt@ias.rwth-aachen.de</a>></span>:<br></div><div>> <span style="font-size:12.8px">If there is demand for separately enabled shells I could do a PR, but this needs to be also well  documented and I’m not quite sure which is the best way.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Maybe I've missed something, but this is already possible by just deactivating the `shell_commands` module.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Cheers,</span></div><div><span style="font-size:12.8px">Martine</span></div></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="DE"><div class="gmail-m_-6200529161691972877WordSection1"><p class="gmail-MsoNormal"><br></p></div></div></blockquote></div></div></div>