Linux/Mac OS X: Vältä ikuisesti pitenevä PATH

Minulla on paha tapa lisätä .bashrc:hen tämän tyyppisiä lauseita:

PATH="$PATH:$HOME/bin"

Tuo toimii muuten ihan hyvin, mutta jos sama .bashrc ajetaan moneen kertaan, PATHin perään lisätään joka kerta $HOME/bin uudelleen.

Nyt otin vihdoin tavaksi korvata tuon lauseen tällä:

echo "$PATH"|grep -qF "$HOME/bin" || PATH="$PATH:$HOME/bin"

Eli lisätään kyseinen polku PATH-muuttujaan vain jos se ei sieltä jo löydy.

Update: Typo korjattu, kiitos Tommi E. ;-)