https://sourcedexter.com/how-to-change-and-remove-ubuntu-startup-sound/