This isn't as easy as I'd thought, because CliWrap/script doesn't seem to pass the bell (ctrl-B?) through. And we don't currently really have a machine-readable notion of whether a particular ping succeeded. Do we parse the output and then ping ourselves? (Hrm.)
(See #13)
This isn't as easy as I'd thought, because CliWrap/script doesn't seem to pass the bell (ctrl-B?) through. And we don't currently really have a machine-readable notion of whether a particular ping succeeded. Do we parse the output and then ping ourselves? (Hrm.)