Joao Pereira | 08f0701 | 2015-07-06 18:13:29 -0400 | [diff] [blame] | 1 | has() { |
Davide Pesavento | e0edc4c | 2016-09-13 18:29:52 +0000 | [diff] [blame] | 2 | local saved_xtrace |
| 3 | [[ $- == *x* ]] && saved_xtrace=-x || saved_xtrace=+x |
| 4 | set +x |
| 5 | |
Joao Pereira | 08f0701 | 2015-07-06 18:13:29 -0400 | [diff] [blame] | 6 | local p=$1 |
| 7 | shift |
Davide Pesavento | e0edc4c | 2016-09-13 18:29:52 +0000 | [diff] [blame] | 8 | local i ret=1 |
| 9 | for i in "$@"; do |
| 10 | if [[ "${i}" == "${p}" ]]; then |
| 11 | ret=0 |
| 12 | break |
| 13 | fi |
Joao Pereira | 08f0701 | 2015-07-06 18:13:29 -0400 | [diff] [blame] | 14 | done |
Davide Pesavento | e0edc4c | 2016-09-13 18:29:52 +0000 | [diff] [blame] | 15 | |
| 16 | set ${saved_xtrace} |
| 17 | return ${ret} |
Joao Pereira | 08f0701 | 2015-07-06 18:13:29 -0400 | [diff] [blame] | 18 | } |