Ubuntu Tweaks の役に立たない/壊れたオプション? (Ubuntu 19.04)

Question

Ubuntu Tweaks アプリケーションには、何をするのか全く分からない拡張機能が 2 つあります。それらを有効にしても、画面には何も表示されません。それらの使い方や、そもそも機能するかどうかを知っている人はいませんか?

Answer 1

これらの拡張機能の使用に関するリンクをすでに提供していただいた @guiverc に感謝します。

これらのgnome-shell-extensionsはUbuntu.ISOにプリインストールされており、ファイルで設定されます。/usr/share/gnome-shell/modes/ubuntu.json

{
    "parentMode": "user",
    "stylesheetName": "Yaru/gnome-shell.css",
    "debugFlags": ["backtrace-crashes-all"],
    "enabledExtensions": ["[email protected]", "[email protected]", "desktop-icons@csoriano"]
}

このため、拡張機能タブのトグル ボタンが使用できなくなりますgnome-tweaks。

これらの拡張機能をラインから削除することができます"enabledEstensions":

{
    "parentMode": "user",
    "stylesheetName": "Yaru/gnome-shell.css",
    "debugFlags": ["backtrace-crashes-all"],
    "enabledExtensions": []
}

これで、事前に有効になっている 3 つの拡張機能すべてがトグル ボタンを尊重するようになります。

注: この概念はmodes、ubuntu.jsonUbuntu 19.04のデフォルトであるUbuntuデスクトップセッションに適用されます。

別のデスクトップ セッションをインストールし、そのセッションにログインした場合、このケースはそのセッションの構成によって異なります。