diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2009-03-03 23:42:40 +0100 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2009-03-03 23:42:40 +0100 |
commit | c26adbeded422f542c5541cf8a8174bd69c1fe65 (patch) | |
tree | 46adbfb66cdb03c359e9a75a1433ca71dd525b71 /etc | |
parent | 754873a41d32f7acdd1ecd00d017239ff7ae0cf5 (diff) |
zprofile: setopt extended_glob is required for gentoo OS info
Diffstat (limited to 'etc')
-rw-r--r-- | etc/profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/profile b/etc/profile index 1c85bf5..e74bb8c 100644 --- a/etc/profile +++ b/etc/profile @@ -1,4 +1,5 @@ ## vim:ft=zsh +setopt extended_glob source $HOME/packages/zsh/etc/colors function pr_info { |