# Linux help

**URL:** <https://boards.straightdope.com/t/linux-help/367238>\
**Category:** Factual Questions\
**Created:** [August 3, 2006, 7:36pm UTC](https://boards.straightdope.com/t/linux-help/367238 "2006-08-03T19:36:16Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Capt.Ridley\_s\_Shooting\_Party](https://avatars.discourse-cdn.com/v4/letter/c/cc9497/32.png) [@Capt.Ridley\_s\_Shooting\_Party](https://boards.straightdope.com/u/Capt.Ridley_s_Shooting_Party)\
**Post date:** [August 3, 2006, 7:36pm UTC](https://boards.straightdope.com/t/linux-help/367238/1 "2006-08-03T19:36:16Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![biqu](https://avatars.discourse-cdn.com/v4/letter/b/7feea3/32.png) [@biqu](https://boards.straightdope.com/u/biqu)\
**Post date:** [August 3, 2006, 7:45pm UTC](https://boards.straightdope.com/t/linux-help/367238/2 "2006-08-03T19:45:45Z")

</div>

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

```auto

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

```

to .bashrc or .bash\_profile in your home directory.

---

<div class="post-metadata">

**Author:** ![Capt.Ridley\_s\_Shooting\_Party](https://avatars.discourse-cdn.com/v4/letter/c/cc9497/32.png) [@Capt.Ridley\_s\_Shooting\_Party](https://boards.straightdope.com/u/Capt.Ridley_s_Shooting_Party)\
**Post date:** [August 3, 2006, 7:59pm UTC](https://boards.straightdope.com/t/linux-help/367238/3 "2006-08-03T19:59:32Z")

</div>

Thanks, that sorted it.