From d753d8c86300e7205232203e6c7464f1f5998c61 Mon Sep 17 00:00:00 2001 From: Nanne Baars Date: Mon, 12 Sep 2016 22:31:22 +0200 Subject: [PATCH] #250 webgoat_developer_bootstrap.sh not working with Ubuntu (sh = dash) --- webgoat_developer_bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webgoat_developer_bootstrap.sh b/webgoat_developer_bootstrap.sh index d40151483..f3baf7d56 100755 --- a/webgoat_developer_bootstrap.sh +++ b/webgoat_developer_bootstrap.sh @@ -47,7 +47,7 @@ hr() { ## test if command exists ftest() { echo -e "$COL_CYAN info: Checking if ${1} is installed $COL_RESET" - if ! type -f "${1}" > /dev/null 2>&1; then + if ! type "${1}" > /dev/null 2>&1; then return 1 else return 0