Re: Session management
Carl-Valentin Schmitt via gnome-list <[email protected]> Tue, 21 Apr 2020 17:53:20 +0200
| Newsgroups | gmane.comp.gnome.general |
|---|---|
| Message-ID | <CADSQJP5GRjJcnhgbSu_fkSgBNKRL2ABSb-bNprMJrbfcGu8QNg@mail.gmail.com> |
--===============5142436924558449907== Content-Type: multipart/alternative; boundary="0000000000007d242505a3cf0499" --0000000000007d242505a3cf0499 Content-Type: text/plain; charset="UTF-8" After installation you press keys Alt-F2 Then type : gnome-tweak-tool There you are and you can set up your own Desktop. (I refer here to Ubuntu). Carl-Valentin Schmitt <[email protected]> schrieb am Di., 21. Apr. 2020, 17:03: > You probably have to install package with name: > gnome-tweak-tool > > > Volker Wysk <[email protected]> schrieb am Di., 21. Apr. 2020, 16:47: > >> 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 <[email protected]> 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? >> >> >> _______________________________________________ >> gnome-list mailing list >> [email protected] >> https://mail.gnome.org/mailman/listinfo/gnome-list >> > --0000000000007d242505a3cf0499 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"auto">After installation you press keys<div dir=3D"auto">Alt-F2= </div><div dir=3D"auto"><br></div><div dir=3D"auto">Then type : gnome-tweak= -tool</div><div dir=3D"auto"><br></div><div dir=3D"auto">There you are and = you can set up your own Desktop.=C2=A0</div><div dir=3D"auto"><br></div><di= v dir=3D"auto">(I refer here to Ubuntu).</div><div dir=3D"auto"><br></div><= div dir=3D"auto"><br></div></div><br><div class=3D"gmail_quote"><div dir=3D= "ltr" class=3D"gmail_attr">Carl-Valentin Schmitt <<a href=3D"mailto:cv.s= [email protected]">[email protected]</a>> schrieb am Di., 21. Apr. 202= 0, 17:03:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 = .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"auto"><font f= ace=3D"sans-serif">You probably have to install package with name:</font><d= iv dir=3D"auto"><font face=3D"sans-serif">gnome-tweak-tool<br></font><div d= ir=3D"auto"><span style=3D"font-family:sans-serif"><br></span></div></div><= /div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">V= olker Wysk <<a href=3D"mailto:[email protected]" target=3D"_blank" rel= =3D"noreferrer">[email protected]</a>> schrieb am Di., 21. Apr. 2020, = 16:47:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8e= x;border-left:1px #ccc solid;padding-left:1ex">Am Dienstag, den 21.04.2020,= 16:27 +0200 schrieb Carl-Valentin Schmitt:<br> > It is there in gnome-settings. <br> <br> What is this? I don't have this. It isn't a package or a program. a= pt-<br> file doesn't find it too, and it isn't in the program list of the<b= r> activity overview. The "Ubuntu-Software" program doesn't find= it, too.<br> <br> I'm using Ubuntu 18.04.<br> <br> Bye,<br> Volker<br> <br> > Volker Wysk <<a href=3D"mailto:[email protected]" rel=3D"noreferr= er noreferrer" target=3D"_blank">[email protected]</a>> schrieb am Di.= , 21. Apr. 2020,<br> > 15:58:<br> > > Hi!<br> > > <br> > > Is it true that Gnome 3 doesn't have any session management? = Might<br> > > it<br> > > be able to add session management with a gnome extension?<br> <br> <br> _______________________________________________<br> gnome-list mailing list<br> <a href=3D"mailto:[email protected]" rel=3D"noreferrer noreferrer" targe= t=3D"_blank">[email protected]</a><br> <a href=3D"https://mail.gnome.org/mailman/listinfo/gnome-list" rel=3D"noref= errer noreferrer noreferrer" target=3D"_blank">https://mail.gnome.org/mailm= an/listinfo/gnome-list</a><br> </blockquote></div> </blockquote></div> --0000000000007d242505a3cf0499-- --===============5142436924558449907== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ gnome-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-list --===============5142436924558449907==--