Re: Firefox/Gnome

[Frank]

Am Samstag, dem 27.05.2023 um 22:48 +0200 schrieb Ralf Mardorf:
> 
>    $ firefox --help
>    [snip]
>      --ProfileManager   Start with ProfileManager.
>    [snip]
>      --safe-mode        Disables extensions and themes for this
> session.
>    [snip]
>    
Firefox startet sowohl im safe-mode als auch mit einem neuen Profil
ganz normal.