Re: Extensions in GDM

2017-10-17 Thread Jan Niklas Hasse
On Wed, 18 Oct 2017, at 08:38, Jonathan Dieter wrote: > I've created a gnome-shell extension that I'd like to run under GDM, > but it doesn't seem that GDM is capable of loading extensions. Is this > correct? Yes, this is correct. Have a look at https://bugzilla.gnome.org/show_bug.cgi?id=787454#

Extensions in GDM

2017-10-17 Thread Jonathan Dieter
I've created a gnome-shell extension that I'd like to run under GDM, but it doesn't seem that GDM is capable of loading extensions. Is this correct? To give some background, I'm the sysadmin at a school with several computer labs running Fedora. We don't want our screens to shut off when waiting

GNOME Shell Extensions 3.27.1

2017-10-17 Thread Florian Müllner
About gnome-shell-extensions GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login. New

GNOME Shell 3.27.1

2017-10-17 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to pro

Mutter 3.27.1

2017-10-17 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used