diff options
author | Case Duckworth | 2022-04-13 17:06:20 -0500 |
---|---|---|
committer | Case Duckworth | 2022-04-13 17:06:20 -0500 |
commit | 6eeb0b494b2623df32cebb2e6a0e20a457e21d57 (patch) | |
tree | 4dc7018bdba92a8db761af15ea547d8d12b03ec7 /profile | |
parent | Don't override QT_STYLE (diff) | |
download | etc-6eeb0b494b2623df32cebb2e6a0e20a457e21d57.tar.gz etc-6eeb0b494b2623df32cebb2e6a0e20a457e21d57.zip |
Add reprofile()
Diffstat (limited to 'profile')
-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 | } | ||