swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 74aa793fb3f7dd653b5bad8d1ffe800fb481aba0 authored by Dan Malec on 28 January 2023, 17:40:04 UTC
Merge pull request #152 from jrincayc/manual_updates
Merge pull request #152 from jrincayc/manual_updates
Tip revision: 74aa793
setread
SETREAD filename
command. Makes the named file the read stream, used for READLIST,
etc. The file must already be open with OPENREAD or OPENUPDATE. If
the input is the empty list, then the read stream becomes the
keyboard, as usual. Changing the read stream does not close the
file that was previously the read stream, so it is possible to
alternate between files.