Skip to content

Instantly share code, notes, and snippets.

@8573

8573/gist:d8d0e4a0ed0a0e38f0d5

Created October 9, 2014 19:40
Show Gist options
  • Save 8573/d8d0e4a0ed0a0e38f0d5 to your computer and use it in GitHub Desktop.
Save 8573/d8d0e4a0ed0a0e38f0d5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
% emulate -R zsh
% setopt | grep -Ei 'autocd|errexit|unset'
% setopt autocd
% setopt | grep -Ei 'autocd|errexit|unset'
autocd
% function f { emulate -L zsh }
% setopt | grep -Ei 'autocd|errexit|unset'
autocd
% f
% setopt | grep -Ei 'autocd|errexit|unset'
autocd
% function g { emulate -L zsh -eu }
% setopt | grep -Ei 'autocd|errexit|unset'
autocd
% g
% setopt | grep -Ei 'autocd|errexit|unset'
errexit
nounset
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment