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
47
48
49
50
51
52
53
54
55
56
57
|
#!/bin/bash #-- not used anyhow
#
# $Id: file3 694 2003-12-27 07:22:12Z blais $
#
# echo "Bashrc executed"
export SHELL=bash
# Reset environment in bash if requested. The reason why we do this is for
# setting stuff that depends on the calling process environment, e.g. with
# ClearCase.
if [ -f "$HOME/.cache.bashenv" ]; then
# echo "Resetting environment in .bashrc"
. $HOME/the-config/.env.pre
. $HOME/the-config/.env.scopes
. $HOME/the-config/.env.post
fi
# check for cache first
if [ ! -f "$HOME/.cache.disable" -a \
-f "$HOME/.cache.bashrc.$SITE.$PLAT.$HOST" ]; then
echo "Using cached .bashrc";
. $HOME/.cache.bashrc.$SITE.$PLAT.$HOST
else
#---------------------------------------------------------------------------
# source scope-specific bashrc's
if [ -f $HOME/the-config/share/.bashrc.local ]; then
. $HOME/the-config/share/.bashrc.local
fi
if [ -f $HOME/the-config/site/$SITE/.bashrc.local ]; then
. $HOME/the-config/site/$SITE/.bashrc.local
fi
if [ -f $HOME/the-config/plat/$PLAT/.bashrc.local ]; then
. $HOME/the-config/plat/$PLAT/.bashrc.local
fi
if [ -f $HOME/the-config/host/$HOST/.bashrc.local ]; then
. $HOME/the-config/host/$HOST/.bashrc.local
fi
if [ -f $HOME/the-config/site/$SITE/plat/$PLAT/.bashrc.local ]; then
. $HOME/the-config/site/$SITE/plat/$PLAT/.bashrc.local
fi
if [ -f $HOME/the-config/host/$HOST/plat/$PLAT/.bashrc.local ]; then
. $HOME/the-config/host/$HOST/plat/$PLAT/.bashrc.local
fi
fi
|
