Linux help

[Capt.Ridley_s_Shooting_Party]

I have a pair of executables at /usr/local/Isabelle/bin/Isabelle and /usr/local/Isabelle/bin/isabelle. I wish to make it so that when I type Isabelle or isabelle at the terminal, the relevant executable is started. How do I achieve this?

Thanks

[biqu]

Add /usr/local/Isabelle/bin to your PATH environment variable. For example, if your shell is bash, append

PATH=$PATH:/usr/local/Isabelle/bin
export PATH

to .bashrc or .bash_profile in your home directory.

[Capt.Ridley_s_Shooting_Party]

Thanks, that sorted it.