Skip to content
Snippets Groups Projects
Commit 43244027 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Fixing git ssh

parent f88687c3
No related branches found
No related tags found
No related merge requests found
......@@ -113,6 +113,7 @@ else
#ssh -vvvT -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o GlobalKnownHostsFile=/dev/null git@git.mpi-cbg.de
# force ssh to not use HostKey verification
echo "StrictHostKeyChecking=no" > $HOME/.ssh/config
chmod 600 $HOME/.ssh/config
ssh -vvvT git@git.mpi-cbg.de
mkdir $HOME/openfpm_dependencies/openfpm_pdata/$branch
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment