Bob Lantz c0793cb58b Add "run" alias for "use" and integrate build/test options ...

Keeping "use" for now even though it seems harder to remember
than "run". And the build/test options are probably much
clearer being inline in the help.

2016-01-20 17:33:00 -08:00

..

.bash_profile

Add bash_profile for VM build

2010-03-24 05:20:12 -07:00

build.py

Add "run" alias for "use" and integrate build/test options

2016-01-20 17:33:00 -08:00

install-mininet-vm.sh

Disable splash and quiet individually (more robust)

2014-12-17 13:48:43 -08:00