'We are in a race between education and oblivion" -R B Fuller

  • 0 Posts
  • 2 Comments
Joined 23 days ago
cake
Cake day: May 11th, 2025

help-circle
  • $ gsettings get org.gnome.shell enabled-extensions 
    ['apps-menu@gnome-shell-extensions.gcampax.github.com', 'window-list@gnome-shell-extensions.gcampax.github.com', 'gtktitlebar@velitasali.github.io']
    

    I can’t believe apps-menu and window-list are not the default behaviors. gtktitlebar is just so I can claw back a few precious pixels of vertical screen space.