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