[skip changelog] Improve install script's check for conflicting installation in $PATH#822

Merged

per1234 merged 2 commits intoarduino:masterfrom

per1234:fix-install-script

Jul 20, 2020

Commits on Jul 12, 2020

Make install script's check for conflicting $PATH installation more reliable
per1234
committed
Don't fail installation script when other installation in $PATH is detected
per1234
committed