0844login:Penguin垢版 | 大砲2018/11/05(月) 12:20:14.70ID:tqqxLZfJ >>841 かつて検討しましたが、火のマークを消す方法分からなかったのでやめました >>843 ありがとうございます 今はDEはなしで運用してるので、なんとなくgnome等の名前が付いてるものは避けていました gnomeなしでもgnome-screensaverを使えるだろうとは思うので、使用感良さそうなら検討します