Hendrik van Essen
a0a3e6c3a1
sys/shell: refactor readline function ...
This makes the code of `readline()` clearer and shorter. It also fixes a
minor artifact of the long line handling.
Previously it was not possible to recover from a long line. That is, if too
many characters were sent, the line would be invalidated and pressing backspace
would not fix it- the only option was to discard the line. It is now possible
to bring the line back to size. Note that visual effects when deleting characters
will still depend on the host's terminal.
The new code is written in a way that all writes to memory are guarded by
bounds check, so an assertion was removed.
Co-authored-by: Juan Carrano <j.carrano@fu-berlin.de>
2020-04-14 15:38:56 +02:00
2018-04-16 13:53:49 +02:00
2019-03-05 16:10:06 +01:00
2020-02-03 00:22:37 +01:00
2020-03-17 17:23:27 +01:00
2020-03-31 19:01:05 +02:00
2018-09-11 11:29:19 +02:00
2019-11-23 22:39:07 +01:00
2020-02-07 13:35:25 +01:00
2019-11-21 11:58:07 +01:00
2019-12-13 14:50:32 +01:00
2019-11-23 22:39:40 +01:00
2018-09-28 09:33:40 +02:00
2019-11-23 22:39:37 +01:00
2020-04-10 10:41:01 +02:00
2018-06-11 19:12:02 +02:00
2020-02-20 13:24:14 +01:00
2018-10-20 09:30:40 -04:00
2019-11-23 22:39:37 +01:00
2020-02-13 16:18:32 +01:00
2020-01-10 13:20:54 -08:00
2019-12-05 15:39:24 +01:00
2020-02-05 12:45:29 +01:00
2019-05-29 15:50:25 +02:00
2019-11-23 22:39:37 +01:00
2020-04-10 10:41:01 +02:00
2019-05-02 12:09:37 +02:00
2019-11-23 22:39:38 +01:00
2019-06-05 18:13:57 +02:00
2019-09-09 20:27:16 +02:00
2019-11-04 21:08:23 +01:00
2018-08-24 18:14:03 +02:00
2020-03-09 17:56:34 +01:00
2020-04-08 19:34:55 +02:00
2020-02-29 12:24:39 +01:00
2019-11-23 22:39:38 +01:00
2020-03-12 08:42:59 +01:00
2019-09-17 20:43:33 +02:00
2020-02-14 12:05:59 +01:00
2019-11-23 22:39:38 +01:00
2019-12-02 16:48:16 +01:00
2020-03-12 13:08:05 +01:00
2020-01-20 14:14:09 +01:00
2018-09-25 12:03:58 +02:00
2019-11-23 22:39:07 +01:00
2020-02-19 10:04:52 +01:00
2018-09-20 23:54:46 +02:00
2019-11-23 22:39:38 +01:00
2018-08-24 18:14:03 +02:00
2020-04-14 15:38:56 +02:00
2020-01-20 14:51:26 +01:00
2019-11-26 21:12:41 +01:00
2018-08-30 11:14:59 +02:00
2019-06-23 22:16:03 +02:00
2020-03-24 09:38:24 +01:00
2019-12-13 10:12:01 +01:00
2018-05-28 13:04:55 -04:00
2020-02-21 13:26:24 +01:00
2019-06-05 17:10:26 +02:00
2019-11-23 22:39:38 +01:00
2020-04-05 13:42:11 +02:00
2020-04-07 14:34:57 +02:00
2020-03-18 10:43:05 +01:00
2018-10-03 10:44:14 +02:00
2018-08-30 11:14:59 +02:00
2020-04-10 12:42:32 +02:00
2020-02-11 13:59:59 +01:00
2020-03-10 12:23:33 +01:00
2019-04-12 15:51:15 +02:00
2020-01-14 10:34:53 +01:00
2020-03-04 12:44:02 +01:00
2020-03-19 21:21:12 +01:00
2020-02-25 09:40:34 +01:00
a0a3e6c3a1