blob: fc4abdbadd9e68a6dcd2635564104c47b7b76100 [file]
foo() { foo="$1"; shift; while [ $# -gt 0 ]; do case "$1" in ($foo) ;; (*) return 1;; esac; shift; done; }