search

ku-fpg / hermit-shell

HERMIT with GHCi shell
BSD 3-Clause "New" or "Revised" License
2 stars 0 forks source link

Global shell settings #33

Closed roboguy13 closed 9 years ago

roboguy13 commented 9 years ago

Switched this over to use IORefs. (https://github.com/ku-fpg/hermit-shell/issues/29)

roboguy13 commented 9 years ago

@RyanGlScott Good points! Should debug output be controlled by the quiet mode option? I was thinking that quiet mode would be if we don't want to print out every step of a script (which gives us behavior more like HERMIT's original behavior).

RyanGlScott commented 9 years ago

If you want to separate shell output from developer-specific output, then ignore what I said about when debug. :)