Bug #1435
Disable readline if input is redirected
Start date:
04 Mar 2020
Due date:
% Done:
0%
Estimated time:
Description
I was surprised to discover that ./cocoa5 < file.cocoa5 echoed the contents of file.cocoa5.
It turns out that the input passes through readline which echoes every line.
Currently one should execute ./cocoa5 --no-readline < file.cocoa5
This is inconvenient!
History
#1
Updated by John Abbott over 2 years ago
Updated by - Target version changed from CoCoA-5.4.0 to CoCoA-5.4.2