about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--profile/profile16
1 files changed, 13 insertions, 3 deletions
diff --git a/profile/profile b/profile/profile index 7a86c76..a0dc281 100644 --- a/profile/profile +++ b/profile/profile
@@ -11,7 +11,17 @@ export XDG_CONFIG_DIRS="${XDG_CONFIG_DIRS:-/etc/xdg}"
11 11
12# source files in $XDG_CONFIG_HOME/profile 12# source files in $XDG_CONFIG_HOME/profile
13if [ -d "$XDG_CONFIG_HOME/profile" ]; then 13if [ -d "$XDG_CONFIG_HOME/profile" ]; then
14 for file in "$XDG_CONFIG_HOME"/profile/*.sh; do 14 for file in "$XDG_CONFIG_HOME"/profile/*.sh; do
15 [ -r "$file" ] && . "$file" 15 [ -r "$file" ] && . "$file"
16 done 16 done
17fi 17fi
18
19# refresh profile
20reprofile() {
21 printf "Loading ~/.profile..." >&2
22 if . "$HOME/.profile"; then
23 echo "OK." >&2
24 else
25 echo "ERROR!" >&2
26 fi
27}