<div dir="ltr">Thank you :-)<br></div><div class="gmail_extra"><br><div class="gmail_quote">2015-10-13 19:43 GMT+02:00 Pierre Fenoll <span dir="ltr"><<a href="mailto:pierrefenoll@gmail.com" target="_blank">pierrefenoll@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Just wait a little :) <a href="https://github.com/erlang/otp/commit/2c7e387961251af59f14bca39cbf8fbbe880383e" target="_blank">https://github.com/erlang/otp/commit/2c7e387961251af59f14bca39cbf8fbbe880383e</a></div><div class="gmail_extra"><br clear="all"><div><div><div dir="ltr"><div><div><br></div><div>Cheers,</div><div>-- </div><div>Pierre Fenoll</div></div><div><br></div></div></div></div>
<br><div class="gmail_quote"><div><div class="h5">On 13 October 2015 at 09:03, Gianluca Padovani <span dir="ltr"><<a href="mailto:gpadovani@gmail.com" target="_blank">gpadovani@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div><div><div>Hi,<br></div>I'm using Ubuntu 14.04 and in Elixir and Erlang shell the delete key doesn't work. I found this issue[1] on elixir repo but they suggest to fix this problem on erlang shell. Do you consider this issue a bug? Is it possible to fix it or find a workaround?<br><br></div>Thank you very much<br></div>Gianluca<br><div><div><br>[1] <a href="https://github.com/elixir-lang/elixir/issues/3471" target="_blank">https://github.com/elixir-lang/elixir/issues/3471</a><br><div><div><br><br></div></div></div></div></div>
<br></div></div>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>