launch
launch copied to clipboard
When file is +x but cannot be launched, try to open it instead
On some file systems, all files may have +x set. Trying to open a file will lead it to being launched, which ultimately fails.
Hence, whenever launching a file fails, we should try to open it instead.