zshrc.d/10-shell-options.zrc
changeset 59 ab7da88f8fd8
parent 36 89707240553f