diff options
Diffstat (limited to '.zshrc')
| -rw-r--r-- | .zshrc | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -1,5 +1,27 @@ + ZDOTDIR=~/.zsh +## +## THIS FILE IS NOT INTENDED TO BE MODIFIED ! READ ABOVE... +## +## Instead, add/edit your configuration files inside $ZDOTDIR. +## +## If you want to add a file, name it specifically in the form +## +## $ZDOTDIR/??_*.zsh +## +## Where "??" should be a two-digits number. +## With that, file ``10_Toto.zsh'' would be parsed before +## file ``20_Tutu.zsh'', allowing you to organize your scripts. +## +## If you want to make host-specific configurations, create a +## file named with the root of your configuration file, and +## append to it ".$(hostname -s)". (replace "zsh" by the hostname. +## if you have a computer named "zsh", well....... :-) ) +## For example, for specific configuration for the host HAL in +## the file 10_Toto.zsh, you would create a file named 10_Toto.HAL +## + if [ -d $ZDOTDIR ]; then for script in $ZDOTDIR/??_*.zsh do |