profile="$(grep -m 1 ^Default= -i ~/.mozilla/firefox/profiles.ini)" | echo ${profile#Default=}
Mensch bekommt die Infos besser so : about:profile
Created
December 19, 2025 15:06
-
-
Save dewomser/5f1eac27d0cc63e5e6ac29cc8677ab0b to your computer and use it in GitHub Desktop.
Firefox default Profil (das aktuell benutzte) Bashkommando Einzeiler
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment