How can I assign redundant shortcuts for switching workspaces in GNOME 3?
Yes, this is a
dconf setting and the value is an array of strings which means it accepts multiple shortcuts. You can do that via
dconf-editor if you navigate to
and turn Use default value
OFF then insert Custom value:
Or if you prefer CLI you can use
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Super>Home', '<Super>1']"
Keep in mind the values must be quoted and separated by comma+space.