Depending on the distribution he is using, he should not need to download the binary driver from NVIDIA. There should be a compiled binary for him to use with his package manager.
Depending on the distribution he is using, he should not need to download the binary driver from NVIDIA. There should be a compiled binary for him to use with his package manager.