Open kumarkshiv opened 2 years ago
https://github.com/nsg-ethz/p4-utils/blob/9990bbf57b23cad0244c8f675b138c7a32882c29/install-tools/install-p4-dev.sh#L516
I just replaced this line with : "git clone https://github.com/mininet/mininet.git mininet"
and it worked for me.
What was the error message? It should work without the .git part.
.git
The error message was:
Cloning into 'mininet' fatal: repository 'https://github.com/mininet/mininet' not found
https://github.com/nsg-ethz/p4-utils/blob/9990bbf57b23cad0244c8f675b138c7a32882c29/install-tools/install-p4-dev.sh#L516
I just replaced this line with : "git clone https://github.com/mininet/mininet.git mininet"
and it worked for me.