zshrc.d/10-shell-options.zrc
changeset 38 54b86a545f6c
parent 36 89707240553f