結局、Linuxデスクトップのほうが快適という