If an installed driver is not executable by the user, a permissions error is thrown and the process stops. This can happen after interrupting the tool in between downloading and setting executable permissions.
It would be best if the tool assumed an incompatible version in case of a permissions error, and downloaded a new one.
As a workaround, the user can delete existing drivers.
If an installed driver is not executable by the user, a permissions error is thrown and the process stops. This can happen after interrupting the tool in between downloading and setting executable permissions.
It would be best if the tool assumed an incompatible version in case of a permissions error, and downloaded a new one.
As a workaround, the user can delete existing drivers.