wfjm f903bda7b4 Workaround for tclreadline and after interference ...

- using in tcl 8.6 a timed `after` together with `tclreadline` injects
  spurious text of the form `after#nnn` into the readline input buffer.
- the `rw11/shell` overloads `unknown`, inviting for a bloody HACK which
  simply checks for such prefixes, scrubs them, and retries the command.

2018-10-29 11:57:38 +01:00

21 KiB

Raw Blame History

View Raw