0196login:Penguin垢版2018/05/07(月) 16:19:29.24ID:4lfdi639 >>195 「Download」のところでgnome-shellのバージョンを選べるようだけど https://extensions.gnome.org/extension/307/dash-to-dock/