Re: [GiNaC-list] Making ginsh interactive when the input is not a TTY