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

Fixing SSH

parent 30d4ad36
No related branches found
No related tags found
No related merge requests found
......@@ -109,13 +109,9 @@ else
installation_dir="--prefix=$HOME/openfpm_install/$branch"
fi
#ssh -vvvT -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o GlobalKnownHostsFile=/dev/null git@git.mpi-cbg.de
#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
cat $HOME/.ssh/id_rsa.pub
echo "StrictHostKeyChecking=no" > $HOME/.ssh/config
chmod 600 $HOME/.ssh/config
rm -rf $HOME/METIS
mkdir $HOME/openfpm_dependencies/openfpm_pdata/$branch
if [ x"$4" == x"full" ]; then
......
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