Mininet path

Tom H tomh0665 at
Fri Feb 27 00:10:33 UTC 2015

On Thu, Feb 26, 2015 at 4:37 PM, Amer <amer7777 at> wrote:
> 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:

It's not "~/.bashrc", it's "~/.profile".

Add at the bottom:

PATH="mininet_path:$PATH" (or PATH="$PATH:mininet_path" if you prefer)
export PATH

More information about the ubuntu-users mailing list