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 | |
| parent | Don't override QT_STYLE (diff) | |
| download | etc-6eeb0b494b2623df32cebb2e6a0e20a457e21d57.tar.gz etc-6eeb0b494b2623df32cebb2e6a0e20a457e21d57.zip | |
Add reprofile()
| -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 | } | ||