set path to executable

[jenny_psion]

Hello,

I have learnt how to set a path, e.g.

export MyPath=/home/jen/MyFiles

But I want to set a shortcut to an application (ProBLinux.sh), which should run when I type ProB or something in the terminal. I have searched my book and the forum for this, but I dont seem to find anything.

Thanks for your help,
Jenny

[askrieger]

Re: set path to executable

In your /home/jenny/.bashrc <--- NOTE THE DOT IN THE FILENAME add the line

alias ProB='/where/ever/ProBLinux.sh'

(No spaces after the name of the alias.)

[jenny_psion]

Re: set path to executable

I have added the following path at the very end of the .bashrc file... but it still doesn't work. Is there anything else I have to do after that?

alias Prob='/home/jen/ProB/ProBLinux.sh'

I have tried starting my application by typing "Prob" into the terminal, but it doesnt start.


thank you,
Jenny

[svein]

Re: set path to executable

You have to tell the system to reread your .bashrc. Type the command source .bashrc in your terminal. If it still does not work, try to log out and log in again.

[jenny_psion]

Re: set path to executable

Thanks a lot,
It works now.
Jen