zsh: restore shell option on quit

Open dolmen opened this issue 10 years ago • 0 comments

angel quit should restore shell options as they were before angel-PS1 was loaded: promptpercent, nopromptbang, nopromptsubst.

Mar 29 '16 14:03 dolmen