[SOLVED] Rename workspace

gerlinux · 02-23-2021, 05:57 AM

I would like to change the name of the workspace, so instead of worspace 1, workspace 2... i could change the names... is that possible?

pan64 · 02-23-2021, 06:15 AM

yes, definitely, just it depends on what kind of workspace is it.

shruggy · 02-23-2021, 07:52 AM

What desktop environment is it? I don't see any workspace names in the default GNOME configuration.

teckk · 02-23-2021, 08:01 AM

Sounds like fluxbox. If it is:

~/.fluxbox/init

Code:

session.screen0.workspaces:	4
session.screen0.workspaceNames:	1 , 2 , 3 , 4 ,
session.screen0.workspacewarping:	true
session.screen0.toolbar.tools:	workspacename, prevworkspace, nextworkspace, iconbar, systemtray, clock

Gad · 02-23-2021, 10:44 AM

Its appears its possible on Debian 10 Buster with Xfce. You are able to right click a workspace and select "Workspace Settings" another window will open and allow you to change the name.

Are you running Debian?

What version?

Desktop environment?

gerlinux · 02-23-2021, 11:43 AM

Code:

PRETTY_NAME="Debian GNU/Linux 10 (buster)"
NAME="Debian GNU/Linux"
VERSION_ID="10"
VERSION="10 (buster)"
VERSION_CODENAME=buster

Desktop: gnome

Gad · 02-24-2021, 12:48 AM

Quote:

The configuration settings can thus be queried and edited with the gsettings, and dconf command-line tools, or by the dconf-editor graphical user interfaces.

I don't use GNOME, check around these settings maybe there will be an option. Worth a shot

gerlinux · 02-24-2021, 01:39 AM

Quote:

Originally Posted by Gad

I don't use GNOME, check around these settings maybe there will be an option. Worth a shot

No idea

ondoho · 02-24-2021, 02:34 AM

Quote:

Originally Posted by gerlinux

Desktop: gnome

Code:

$> gsettings describe org.gnome.desktop.wm.preferences workspace-names
Defines the names that should be assigned to workspaces. If the list is too long for the current number of workspaces, names in excess will be ignored. If the list is too short, or includes empty names, missing values will be replaced with the default (“Workspace N”).
$> gsettings describe org.gnome.desktop.wm.preferences num-workspaces
Number of workspaces. Must be more than zero, and has a fixed maximum to prevent making the desktop unusable by accidentally asking for too many workspaces.

Replace "describe" with "get" to see what the current settings are, and "set" to change.
That said, GNOME possibly has an option to change that via GUI, no?

gerlinux · 02-24-2021, 02:46 AM

Quote:

Originally Posted by ondoho

Code:

$> gsettings describe org.gnome.desktop.wm.preferences workspace-names
Defines the names that should be assigned to workspaces. If the list is too long for the current number of workspaces, names in excess will be ignored. If the list is too short, or includes empty names, missing values will be replaced with the default (“Workspace N”).
$> gsettings describe org.gnome.desktop.wm.preferences num-workspaces
Number of workspaces. Must be more than zero, and has a fixed maximum to prevent making the desktop unusable by accidentally asking for too many workspaces.

Replace "describe" with "get" to see what the current settings are, and "set" to change.
That said, GNOME possibly has an option to change that via GUI, no?

I think I need a step by step guideline, sorry about my ignorance

shruggy · 02-24-2021, 03:10 AM

Try dconf-editor then.

pan64 · 02-24-2021, 03:45 AM

https://askubuntu.com/questions/4595...space-in-gnome
try dconf-editor (install it if missing)

gerlinux · 02-24-2021, 09:01 AM

Finally, i did this and it works fine:

Quote:

gsettings set org.gnome.desktop.wm.preferences workspace-names "['name1', 'name2', 'name3']"