Shell I/O redirection #64
WahPlus
commented 2026-02-21 17:16:54 +00:00
(Migrated from github.com)
- Make shells store current command input and output
- Make print() also output to the shell output
- Allow shell input to write to shell.read()
- Add piping to the shell parser
- [ ] Make shells store current command input and output
- [ ] Make print() also output to the shell output
- [ ] Allow shell input to write to shell.read()
- [ ] Add piping to the shell parser
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?