diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-07 17:51:22 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-07 17:51:22 (EST) |
| commit | 5f3b88e04d78a9bd9e3c3a7fffdfba21d116ac13 (patch) | |
| tree | f150fca360e4c11b0d1ce673564ec22da712068a | |
| parent | 4d3cb693902001bd315ce5f9d2ab49212ec504b3 (diff) | |
profile_set(): Don't use use()
| -rw-r--r-- | src/profile.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/profile.sh b/src/profile.sh index f64a0d8..cd2c1cf 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -43,7 +43,6 @@ profile_set() if is_profile "${prof}"; then profile="${prof}" - use "profile/${profile}" else error 1 "$(get_msg 'profile_not_found')" "${prof}" fi |