Mininet path

[Tom H]

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