Yeah, I'd find 10s a bit long. I currently dual-boot Windows 7 and Windows 10 on my PC (Win7 being the default). I have it set to 3s, which I find to be a nice trade-off between giving me sufficient time to switch OS on those very rare occasions I boot into Windows 10, and not slowing down the boot process too much.
Would be good if computers had physical boot configuration switches, so you could just flick it to setting A or B when turning on, and remove the need to have any startup delay.
Got my other 18.04 issue (netatalk) solved by following compile/make/install instructions for 16.10 (apparently 16.04 is too old, go figure). Yay me. :-O~~~
We're watching the "directors cut extended version", which has discarded scenes restored from assorted damaged/unfinished takes. A bit jarring but the story has continuity.
“Reptilians Rule the World, Moon Landing Was Fake”
SSD prices have been crashing over the last few weeks, you should absolutely get one as your main system drive. There is no other upgrade comparable to the speed increase you'll get with an SSD.
No, I don't game on Linux... haven't really had any problems with free radeon drivers in the past though I understand some of the latest gpus aren't well supported, pretty sure the R7 is ok.
“Reptilians Rule the World, Moon Landing Was Fake”