<div dir="ltr"><div>Cool thanks :)<br><br></div>PR can still be merged though, it is a nice fallback<br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-04-03 22:31 GMT+02:00 Jason A. Donenfeld <span dir="ltr"><<a href="mailto:Jason@zx2c4.com" target="_blank">Jason@zx2c4.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Oh, I see. The issue is with the completion. So yes, you need to<br>
replace your actual shell as Steven showed.<br>
</blockquote></div><br></div>