[riot-notifications] [RIOT-OS/RIOT] sys/shell: Exit the shell on ctrl-D and cancel line on ctrl-C. (#10788)
Juan I Carrano
notifications at github.com
Tue Feb 12 13:47:09 CET 2019
My interpretation of the comments is that what's contested here is exiting with control-D. Cancelling with control-C should not be as controversial, right?
I will split this PR.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications