diff options
| author | Joel Martin <github@martintribe.org> | 2014-03-29 15:17:00 -0500 |
|---|---|---|
| committer | Joel Martin <github@martintribe.org> | 2014-03-29 15:17:00 -0500 |
| commit | 60154d24a87ed9f3fa315870a32590a371e309d3 (patch) | |
| tree | dabe6083e9bf753fa5be3cfb4e63209c75e40e9f /ps | |
| parent | dc7938d8e69982b2574a8e2e9fd1ca97b33f6e28 (diff) | |
| download | mal-60154d24a87ed9f3fa315870a32590a371e309d3.tar.gz mal-60154d24a87ed9f3fa315870a32590a371e309d3.zip | |
Update README.md and TODO. Minor PS update.
Diffstat (limited to 'ps')
| -rw-r--r-- | ps/notes | 2 | ||||
| -rw-r--r-- | ps/step0_repl.ps | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/ps/notes b/ps/notes deleted file mode 100644 index b834e15..0000000 --- a/ps/notes +++ /dev/null @@ -1,2 +0,0 @@ -Running: - gs -q -dNODISPLAY stepX_YYY.ps diff --git a/ps/step0_repl.ps b/ps/step0_repl.ps index 3aade39..325392f 100644 --- a/ps/step0_repl.ps +++ b/ps/step0_repl.ps @@ -28,11 +28,13 @@ READ (stub env) EVAL PRINT } def +/stdin (%stdin) (r) file def + { % loop (user> ) print flush %(%lineedit) (r) file 99 string readline - (%stdin) (r) file 99 string readline + stdin 99 string readline not { exit } if % exit if EOF |