<div dir="ltr">Ahhhh... after five seconds of thinking I think I know what you mean: You can't pick-and-choose shell commands. Yes this would be nice (and I was thinking about something similar). Let me open an issue were we can discuss further on that.<div><br></div><div>Cheers,</div><div>Martine</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-12-04 15:31 GMT+01:00 Martine Lenders <span dir="ltr"><<a href="mailto:mail@martine-lenders.eu" target="_blank">mail@martine-lenders.eu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi,<div><br></div><div><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">2017-12-04 15:14 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><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="DE" link="blue" vlink="purple">
<div class="m_-4027171520801972154m_485935340351569547WordSection1">
<p class="MsoNormal"><span lang="EN-US">Yes it is but then all shells are disabled, not only that which I don’t need.</span></p></div></div></blockquote><div><br></div></span><div>The shell should still be enabled. Just the commands pulled in by the modules should be disabled.</div><div><br></div><div>Cheers,<br>Martine </div></div></div></div></div>
</blockquote></div><br></div>