blob: 64503a340a459e881a964fa82e32c8c893728823 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
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
source $script
# find host-based script and source it
local_script="${script:r}.`hostname -s`"
[ -f $local_script ] && source $local_script
done
fi
if [ "`whoami`" = "root" ]
then
[ "`pwd`" = ~ ] && cd ~root
export HOME=~root
HISTFILE=$HISTFILE.root
fi
|
