Revert "add "with" command"
commitc34baa825c7d2b0d1b7152b46884e7c9d6b0ee9b
authormbays <mbays@sdf.org>
Sun, 2 Oct 2022 00:00:00 +0000 (2 00:00 +0000)
committermbays <mbays@sdf.org>
Sun, 2 Oct 2022 00:00:00 +0000 (2 00:00 +0000)
tree0e2a6accb34498da8f6cbb502c32a0002d53237e
parent1a99f3fc3d0452974b8dbc8a42d7beb07855255c
Revert "add "with" command"

This reverts commit 1a99f3fc3d0452974b8dbc8a42d7beb07855255c.

Mostly because it interacts confusingly with "id".
Maybe replace with a version which only affects options?
Command.hs
diohsc.hs