Setting up a new Ubuntu box.

This is for my own benefit... when setting up a new Ubuntu distribution, adjust the following...

• Choose minimal install, and the create an EFI partition, a Swap partition, and a Root partition.
• After reboot, pin the terminal to the bar.
• gsettings set org.gnome.desktop.interface enable-animations false
• apt-get update ; apt-get dist-upgrade ; apt autoremove
• Make it accessible: apt-get install openssh-server
• Booting should not be silent, edit /etc/default/grub
• Copy over .ssh/ directory from another machine, so that I have my ssh keys.
• Copy over .vim/ directory from another machine, so that I have my vim setup.
• Add to .bashrc file: export PKG_CONFIG_PATH=$HOME/lib/pkgconfig:/opt/lib/pkgconfig
• Add repositories for dbgsym packages.
• To allow fan control: sudo nvidia-xconfig -a --cool-bits=4
• apt-get install psensor traceroute imagemagick
• apt-get install vim git cmake clang-10 libsdl2-dev opengl-4-man-doc
• apt-get install inkscape gimp wings3d
• Install CUDA
• Set git identity: git config --global user.email "EMAIL" ; git config --global user.name "NAME"
• Get rid of Gnome's indexing by tracker.
• Create a file /etc/modprobe.d/nsight containing: options nvidia "NVreg_RestrictProfilingToAdminUsers=0"
• usermod -a -G video bram
• usermod -a -G dialout bram
• Add kernel parameter intel_pstate=passive in /boot/grub/grub.cfg file.