Re: [Gimp-user] Announcement: this mailing list will be retired by the end of Oct 2022



On Thu, Oct 20, 2022 at 12:06 PM Jernej Simončič <#/&+-'={*_~}$.`?@
eternallybored.org> wrote:

On Thursday, October 20, 2022, 18:44:12, peter easthope ca wrote:

Login and logout are inverses. Therefore, finding them at the same
level is rational. Login is top level.  Putting logout two levels down
simply isn't reasonable.

I don't really see the point of logging out – it's a website, just don't
visit it if you don't need it at the moment.


Well, if you are on a public computer you don't want to leave anything
logged in because the next user could impersonate you?

Alternatively, if there's no need to ever log out, then just don't provide
the means, anywhere, to do so.  But that doesn't sound exactly right.  :)

dan



--
< Jernej Simončič ><><><><>< https://eternallybored.org/ >

You never find an article until you replace it.
       -- Harper's Magazine's Law

_______________________________________________
gimp-user-list mailing list
List address:    gimp-user-list gnome org
List membership: https://mail.gnome.org/mailman/listinfo/gimp-user-list
List archives:   https://mail.gnome.org/archives/gimp-user-list



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]