id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
3275	"GNOME-Shell extension ""logout-button"" installieren"	Rüdiger Kupper	Rüdiger Kupper	"Unsere Nutzer *sollen* sich ausloggen. Die GNOME-Entwickler fahren da eine andere Strategie (warum ausloggen? es reicht doch, den Bildschirm zu sperren?)

Diese Erweiterung zeigt einen Logout-Button neben den anderen:
https://extensions.gnome.org/extension/1143/logout-button/"	Verbesserung	closed	bald erledigen	Image „Humane Henrike”	Software: Ubuntu	beeinträchtigt den Unterricht einiger Lehrer	im Image