Where is mininet installed to?

Question

I want to change link.py of mininet. I use Ubuntu 14.04 and the current version of the git repository of mininet. When I change the files in the mininet directory this does not take effect.

It seems that there is a cached version somewhere but I cannot find it.

Even if I delete the mininet folder under my user home directory I can still execute it. So there must be a "compiled" version somewhere.

Would be great if someone could help :)

I simply run my python script that creates the topology using the mininet classes. The are imported via "from mininet.* import *" — Simon Hessner, Apr 17 '15 at 14:44
Are you sure mininet wasn't installed by OS package manager? What does `sudo aptitude search mininet` output? — Konstantin, Apr 17 '15 at 14:46

Simon Hessner · Accepted Answer · 2015-04-17T15:16:06.730

I found it. I had to delete the file

/usr/local/lib/python2.7/dist-packages/mininet-2.2.1d2-py2.7.egg

and then re-run the install.sh from the mininet git repository (after I did my changes)

install.sh -n

the n-flag avoids re-installing other packages than mininet.

Then the .egg was created again and my changes took effect. nice :)

EDIT: the install.sh -n option calls

sudo make install

which calls

python setup.py install

which uses

setuptools.setup

of python to compile the source to an .egg file.

I hope this helps anyone who will encounter the same problems as me...

Where is mininet installed to?

1 Answers1