Tag Archives: Gnome Shell

Gnome Shell Quickfix Cheatsheet

Disable work-space up/down movers which block key bindings I use in Phpstorm. Important with that is that I don’t use these dynamic work-spaces at all, so making them static and only one: dconf write /org/gnome/desktop/wm/preferences/num-workspaces 1 dconf write /org/gnome/mutter/dynamic-workspaces false … Continue reading

Posted in Hakre's Tips, Uncategorized | Tagged , , , , , | Leave a comment

Hunting the Keyboard Shortcut

Recently while in the mood I decided to upgrade my Thinkpad X280  from Ubuntu 16.04 LTS (for which it had the approval) to more current Ubuntu 18.04 LTS. That also meant that I’m back on Gnome Shell which I’m not … Continue reading

Posted in Hakre's Tips | Tagged , , , , , , , , , | 1 Comment