diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-07-02 16:09:47 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-07-02 16:09:47 (EDT) |
| commit | d758ca1028d995976351f9f1072ac34751928f30 (patch) | |
| tree | 33632fec5452fcf3dbbc6bf6c18930cd632956b2 | |
| parent | 6f5c4a4487c647434bee9a7e049bd085789ba2a8 (diff) | |
is_profile(): Replace [ command and prefix removal with case
| -rw-r--r-- | src/profile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/profile.sh b/src/profile.sh index e5a9240..05a25fe 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -34,7 +34,7 @@ is_profile() { local prof="${1}" - [ "x${profiles# ${prof} }" != "x${profiles}" ] + case "${profiles}" in *" ${prof} "*) return 0;; *) return 1;; esac return ${?} } |