On 19 June 2018 at 18:40, Bret Busby <bret.busby at gmail.com> wrote: > ... > (it is unfortunate that the window does not allow copying and pasting > of text in the window) To copy text out of a terminal window use Ctrl+Shift+C Colin