summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. 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)
commit0a7848544d755468740154cbf357f2e21d204628 (patch)
tree8f9f3f0017151257abb426ff11bb4a32c43e3e15
parent2e87bbd030adbeb748d1d2b579c4682e3fe1057c (diff)
lib/profile.sh: use() the set profile
-rw-r--r--lib/profile.sh1
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