Installing GPU drivers inside setup script might cause dependencies issue

[patuan07]

In scripts/install_dev_env_amd64.sh, sudo ubuntu-drivers install is said to be updating the driver. Actually, it install the latest Ubuntu drivers without removing old ones. For people who already have their own GPU driver setup, this can lead to one host machine holding different drivers, causing clashes.

Should the installation of GPU drivers be done on our own? Since each person should setup drivers that works for them.

[SamuelFoo]

Suggestion: no change to script, we have already listed the steps in the README. Maybe highlight that we use ubuntu-drivers install in the README, which may override installed drivers.

The purpose of the script was an alternative to install everything on a fresh machine in a single command, with the understanding that users can simply select which commands to run by themselves or even follow the linked guide.

An option is gate the install by whether nvidia-smi returns anything, but we don't want to complicate the script too much, and it may allow scenarios where users run the containers with outdated drivers.

To remove superseded packages, you can run sudo apt autoremove. I wouldn't want to put this in the script though.