Gnome-shell-extension-prefs Command

Gnome-shell-extension-prefs Command

gnome-shell-extension-prefs

graphical shell for the GNOME desktop

Maintainer: Debian GNOME Maintainers



Section: gnome

Install gnome-shell-extension-prefs

  • Debian apt-get install gnome-shell Click to copy
  • Ubuntu apt-get install gnome-shell Click to copy
  • Arch Linux pacman -S gnome-shell Click to copy
  • Kali Linux apt-get install gnome-shell Click to copy
  • CentOS yum install gnome-shell Click to copy
  • Fedora dnf install gnome-shell Click to copy
  • Raspbian apt-get install gnome-shell Click to copy

gnome-shell

graphical shell for the GNOME desktop

The GNOME Shell provides core interface functions like switching windows, launching applications or see your notifications. It takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a delightful and easy to use experience. GNOME Shell is the defining technology of the GNOME 3 user experience.

gnome-shell-dbg

Debugging symbols for GNOME Shell

The GNOME Shell provides core interface functions like switching windows, launching applications or see your notifications. It takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a delightful and easy to use experience. GNOME Shell is the defining technology of the GNOME 3 user experience. This package contains detached debugging symbols.

Install the latest version of gnome-shell-extension-prefs in Debian, Ubuntu, Arch, Kali, CentOS, Fedora and Raspbian from terminal. To install the gnome-shell-extension-prefs just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of gnome-shell-extension-prefs from the respository and install it in your computer/server.