Mininet path

Tom H tomh0665 at gmail.com
Sat Feb 28 16:33:07 UTC 2015


On Thu, Feb 26, 2015 at 11:05 PM, Amer <amer7777 at hotmail.com> wrote:
>> On ٢٧‏/٠٢‏/٢٠١٥, at ٣:١٠ ص, Tom H <tomh0665 at gmail.com> wrote:
>>> 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

Please bottom post.


> Thank you for your message

You're welcome.


> I tried this:
> PATHMN = $PATHMN:/home/amer/mininet/bin/mn
> export PATHMN
>
> I tried this command which is the main command of mininet
>
> amer$sudo mn

It should be:

PATH="$PATH:/home/amer/mininet/bin"



More information about the ubuntu-users mailing list