<div dir="ltr"><div>When installing tools from the internet they usually have a curl download sh script and pipe it into sh...not recommended and I never to this instead pipe to a file and then look at the script. In any case I found this bit of magic in one of them I was not aware of but actually needed (normally one just uses an external command in bash, afterall it&#39;s a shell: </div><div><br></div><div>if [[ &quot;:${PATH}:&quot; == *&quot;:${HOME}/.local/bin:&quot;* ]]; then echo YES; else echo NO; fi</div><div><br></div><div>and you do not need to enable globbing via shopt, the glob pattern is not =~ construct but a check for equality....amazing ability for bash later versions.</div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br><br><br>--------------------------------------------------------------<br> Roger Federer Fanatic Extraordinaire :-)</div></div></div>