zsh: some options.