diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-15 12:37:09 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-15 12:38:01 (EDT) |
| commit | 0a7848544d755468740154cbf357f2e21d204628 (patch) | |
| tree | 8f9f3f0017151257abb426ff11bb4a32c43e3e15 /lib/profile.sh | |
| parent | 2e87bbd030adbeb748d1d2b579c4682e3fe1057c (diff) | |
lib/profile.sh: use() the set profile
Diffstat (limited to 'lib/profile.sh')
| -rw-r--r-- | lib/profile.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/profile.sh b/lib/profile.sh index 2da80e3..ad16867 100644 --- a/lib/profile.sh +++ b/lib/profile.sh @@ -40,6 +40,7 @@ profile_set() if is_profile "${prof}"; then profile="${prof}" + use "profiles/${profile}" else error 1 "$(get_msg 'profile_not_found')" "${prof}" fi |