diff --git a/setup.sh b/setup.sh index 12de8b71a0b97a831aa89d1c8c89c013e5ec1f45..79ef449f2b30e47b3ae33cf9f118b052fb6b43bb 100644 --- a/setup.sh +++ b/setup.sh @@ -201,12 +201,12 @@ function manage_plugins() { # Check if plugin is already present repo_name_with_extension=${plugin_repositories[$i]##*/} repo_name=${repo_name_with_extension%*.git} - path=$(git config -f .gitmodules --get "submodule.Plugins/${repo_name}.path") + path=$(git config -f ../.gitmodules --get "submodule.Plugins/${repo_name}.path") if [ $? -ne 0 ] then - plugin_present=true - else plugin_present=false + else + plugin_present=true fi if [ -n "${plugin_branches[$i]}" ] @@ -240,6 +240,8 @@ function manage_plugins() { fi done cd .. + echo "Done, Press enter to continue." + read x fi }