diff options
-rw-r--r-- | profile/profile | 16 |
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 |
13 | if [ -d "$XDG_CONFIG_HOME/profile" ]; then | 13 | if [ -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 |
17 | fi | 17 | fi |
18 | |||
19 | # refresh profile | ||
20 | reprofile() { | ||
21 | printf "Loading ~/.profile..." >&2 | ||
22 | if . "$HOME/.profile"; then | ||
23 | echo "OK." >&2 | ||
24 | else | ||
25 | echo "ERROR!" >&2 | ||
26 | fi | ||
27 | } | ||