Unix shell: prepend path if not prepended already
September 22, 2013 09:07:10 Last update: September 22, 2013 09:07:10
I want to prepend
/usr/java/bin to $PATH, if /usr/java/bin is not prepended already. There's no harm if you prepend /usr/java/bin multiple times, but $PATH looks ugly.
$ PATH=/usr/java/bin:${PATH#/usr/java/bin:}
