diff --git a/vm-ubuntu-20.04/user-common-bootstrap.sh b/vm-ubuntu-20.04/user-common-bootstrap.sh index e8cbd47..c347bba 100755 --- a/vm-ubuntu-20.04/user-common-bootstrap.sh +++ b/vm-ubuntu-20.04/user-common-bootstrap.sh @@ -4,7 +4,7 @@ set -xe # --- Mininet --- # -git clone git://github.com/mininet/mininet mininet +git clone https://github.com/mininet/mininet mininet cd mininet PATCH_DIR="${HOME}/patches" patch -p1 < "${PATCH_DIR}/mininet-dont-install-python2.patch" || echo "Errors while attempting to patch mininet, but continuing anyway ..." diff --git a/vm-ubuntu-20.04/user-dev-bootstrap.sh b/vm-ubuntu-20.04/user-dev-bootstrap.sh index 3378a80..8543743 100755 --- a/vm-ubuntu-20.04/user-dev-bootstrap.sh +++ b/vm-ubuntu-20.04/user-dev-bootstrap.sh @@ -213,10 +213,10 @@ cd ../.. find /usr/lib /usr/local $HOME/.local | sort > $HOME/usr-local-6-after-p4c.txt # --- PTF --- # -git clone git://github.com/p4lang/ptf +git clone https://github.com/p4lang/ptf cd ptf git checkout ${PTF_COMMIT} sudo python3 setup.py install cd .. -find /usr/lib /usr/local $HOME/.local | sort > $HOME/usr-local-8-after-ptf-install.txt \ No newline at end of file +find /usr/lib /usr/local $HOME/.local | sort > $HOME/usr-local-8-after-ptf-install.txt