Re: Session management

[Volker Wysk <post volker-wysk de>]

Am Dienstag, den 21.04.2020, 16:27 +0200 schrieb Carl-Valentin Schmitt:
> It is there in gnome-settings. 

What is this? I don't have this. It isn't a package or a program. apt-
file doesn't find it too, and it isn't in the program list of the
activity overview. The "Ubuntu-Software" program doesn't find it, too.

I'm using Ubuntu 18.04.

Bye,
Volker

> Volker Wysk <post volker-wysk de> schrieb am Di., 21. Apr. 2020,
> 15:58:
> > Hi!
> >
> > Is it true that Gnome 3 doesn't have any session management? Might
> > it
> > be able to add session management with a gnome extension?