
答え1
拡張機能を使用してこれを行うことができますgnome-shell
。
ダウンロード圧縮ファイルgnome-tweak-tool
そしてそれを使ってインストール
~/.local/share/gnome-shell/extensions/gnome-shell-extension-workspace-switcher-popup-thumbnails@sustmidown.centrum.cz
拡張ディレクトリの名前を書き留めます(uuid
で一致する必要がありますmetadata.json
)。
それからそのディレクトリで編集し、 metadata.json
そのバージョン3.8
に置き換えます。gnome-shell
"shell-version": ["3.18.2"]
保存して再起動しgnome-shell
(Alt+ ) F2、後者を使用してください。rgnome-tweak-tool
〜できるようにする拡張子名: