summaryrefslogtreecommitdiffstats
path: root/src/profile.sh
diff options
context:
space:
mode:
authorPatrick 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)
commitd758ca1028d995976351f9f1072ac34751928f30 (patch)
tree33632fec5452fcf3dbbc6bf6c18930cd632956b2 /src/profile.sh
parent6f5c4a4487c647434bee9a7e049bd085789ba2a8 (diff)
is_profile(): Replace [ command and prefix removal with case
Diffstat (limited to 'src/profile.sh')
-rw-r--r--src/profile.sh2
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 ${?}
}