0780login:Penguin垢版 | 大砲2018/11/03(土) 15:07:16.37ID:RbccqKKx >>779 そのページ > KDE Plasma Workspaces (KDE), which has been provided as an alternative to the default GNOME desktop environment(以下略) デフォルトはあくまでGNOME