Advertisement
Help Keep Boards Alive. Support us by going ad free today. See here: https://subscriptions.boards.ie/.
If we do not hit our goal we will be forced to close the site.

Current status: https://keepboardsalive.com/

Annual subs are best for most impact. If you are still undecided on going Ad Free - you can also donate using the Paypal Donate option. All contribution helps. Thank you.
https://www.boards.ie/group/1878-subscribers-forum

Private Group for paid up members of Boards.ie. Join the club.

PATH preferences

  • 15-10-2007 11:09AM
    #1
    Registered Users, Registered Users 2 Posts: 590 ✭✭✭


    Hi,

    Could anyone here tell me how to give preference to my ~/bin directory over /bin or /usr/bin etc.

    For example, if my ~/bin folder contained a script called tail, how could I specify that when I type tail that the command executed is the ~/bin/tail script rather than the /usr/bin/tail script?


Comments

  • Registered Users, Registered Users 2 Posts: 590 ✭✭✭bman


    Another one of these posts where I end up answering my own question! I should really spend more time on the problem before posting!

    The shell seems to look through the directories in the path in order and whenever it gets the command that corresponds it executes it. So if my ~/bin directory is in the path before /usr/bin then it will execute the command in the ~/bin directory only.


  • Registered Users, Registered Users 2 Posts: 3,286 ✭✭✭dubhthach


    bman wrote: »
    Another one of these posts where I end up answering my own question! I should really spend more time on the problem before posting!

    The shell seems to look through the directories in the path in order and whenever it gets the command that corresponds it executes it. So if my ~/bin directory is in the path before /usr/bin then it will execute the command in the ~/bin directory only.

    Indeed for example in your .bash_profile you can set your path to be:
    PATH = ~/bin:$PATH

    so ~/bin is checked first before what ever else is in $PATH


Advertisement