Hello, I would like to add mininet to the $PATH However, I have accessed the path via gedit ./bashrc But I do not know what to add there: I searched on the net about how to do so but I did not find any clue. I am using Ubuntu v 14 and v12 with 64-bit machine Best regards, Amer Sent from my iPhone