zshrc.d/10-shell-options.zrc
changeset 18 7095298e6f7d
parent 13 e1da4a7a9e92
child 36 89707240553f