Skip to content
Snippets Groups Projects
Commit e0195827 authored by Simon Oehrl's avatar Simon Oehrl
Browse files

Fix plugin detection

parent aedb2ed8
No related branches found
No related tags found
No related merge requests found
......@@ -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
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment