☰

RedHat/CentOS 7.1: Gnome ワークスペースの名前変更

tag-icon • tag-icon rhel gnome workspaces
RedHat/CentOS 7.1: Gnome ワークスペースの名前変更

Red Hat / CentOS 7.1.1503; GNOME Shell 3.8.4

私は現在作業中のプロジェクト（1〜4週間進行中）に基づいてワークスペースの名前を指定します。 「1」「2」から「ウィーン」「ベルリン」と同じ名前にどのように名前を変更できますか？

CentOS6では、ワークスペースパネルプラグインを右クリックし、プロパティで名前を変更します。

「ワークスペースタグ」拡張プログラム（https://extensions.gnome.org/extension/551/workspace-labels/）しかし、名前を変更することはできません。

ベストアンサー1

さて、gsettingsで方法を見つけました。

$ gsettings set org.gnome.desktop.wm.preferences workspace-names "['Com', 'Vienna', 'Test1', 'Test2','Test3']"
$ gsettings set org.gnome.desktop.wm.preferences num-workspaces "5"

おすすめ記事