blob: 3758f4c56fe7003f762897a0c18dd640ed9c5fef (
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
42
43
44
45
46
|
##
## 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-digit number.
# With that, file ``10_Toto.zsh'' would be parsed before
# file ``20_Tutu.zsh'', allowing you ordering 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
#
ZDOTDIR=${ZDOTDIR:-~/.zsh}
mkdir -p $ZDOTDIR
if [ -d $ZDOTDIR ]; then
for script in $ZDOTDIR/??_*.zsh
do
[ "$DEBUG" != "" ] && echo "${${script:t:r}/??_/}... ";
source $script
for i in "host:`hostname -s`" "user:`whoami`" "net:`hostname -d`"
do
specific_script=${script:h}/$i/${${script:t}/??_/}
[ -f $specific_script ] && source $specific_script
done
done
fi
if [ "`whoami`" = "root" ]
then
[ "`pwd`" = ~ ] && cd ~root
export HOME=~root
fi
|
