zshrc.d/10-shell-options.zrc
changeset 37 9c238177f98a
parent 36 89707240553f