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"
答え2
Nicoの答えに1つを追加したいです。
このコマンドを実行すると、次のメッセージが表示されますGLib-GIO-Message。
GLib-GIO-Message: Using the 'memory' GSettings backend. Your settings will not be saved or shared with other applications.
コマンドのパスを確認してください。私の場合、実行するとwhich gsettingsanacodaフォルダへのパスが表示されます。
.../anaconda3/bin/gsettings
システムへの絶対パスを使用すると、gsettings問題が解決されます。
/usr/bin/gsettings set ...
PS。この回答は回答に基づいています。ここ
答え3
ワークスペースインジケータ名前付きワークスペースを許可するコア拡張の一部です。
インストール後に拡張設定に移動し、名前を変更するワークスペースをダブルクリックします。
答え4
アプリ - >ユーティリティ - >調整 - >拡張 - >作業スペースインジケータ - >設定（ギアアイコン）を使用して名前を変更します。
もちろん、拡張機能を最初にインストールする必要があります。
ちなみに、誰かがこれへのショートカットを作成する方法を知っていれば、とても感謝します。 Centos 6で私が本当に恋しいことの1つは、ワークスペース名を右クリックして名前を変更する機能です。