Page 1 sur 1

Gestion des différentes versions dans profiles.ini

Publié : 13 oct. 2016, 18:41
par Troupal
Bonjour!
Tout d'abord, je tient à préciser que je suis sous GNU/Linux.

Alors, voilà on problème. Je cherche à savoir comment je pourrait faire pour pouvoir gérer mes différentes version de FireFox, c'est-à-dire, actuellement la 49 , 51 et 52 (soit la stable, la Developer Edition et la Nightly) dans le gestionnaire de profil.

Puis-je passer par le ~/.mozilla/firefox/profiles.ini en ajoutant quelque chose comme

Code : Tout sélectionner

[General]
StartWithLastProfile=1

[Profile0]
Name=default
IsRelative=1
Path=xxxx0x.default

[Profile2]
Name=Nightly
IsRelative=1
Path=xxx0aa.Nightly
>>> execfile("/usr/bin/firefox-nightly")
ou alors

Code : Tout sélectionner

[General]
StartWithLastProfile=1

[Profile0]
Name=default
IsRelative=1
Path=xxxx0x.default

[Profile2]
Name=Nightly
IsRelative=1
Path=xxx0aa.Nightly
>>> import sys
>>> sys.argv=[Name=Nightly]
>>> execfile("/usr/bin/firefox-nightly") 
# Ça c'est si le  soft est codé en python bien-sûr…
Ou bien si il n'y a aucune solution et que je sois obligé de me faire un script bash qui me lance la bonne version suivant le nom du profil ?
Sinon, il faudrait faire une report ou une issu.

Merci d'avance pour vos réponses!
Votre Navigateur : Mozilla/5.0 (X11; Linux x86_64; rv:49.0) Gecko/20100101 Firefox/49.0

Re: Gestion des différentes versions dans profiles.ini

Publié : 13 oct. 2016, 20:58
par Bob49
Bonjour

Aucun intérêt de modifier manuellement le fichier .ini ! Je ne l'ai jamais modifié en plus de 11 ans et pas plus depuis 7 ans que j'utilise plusieurs versions de Firefox... (autant que je le veux sous mes Linux et mes Windows)

Il faut modifier le raccourci de lancement des différentes versions... explications faite ici pour Windows, mais c'est pareil sous Linux

Quand on installe une version, il suffit de ne pas la lancer... modifier le raccourci de lancement en y ajoutant -no-remote -p, puis lancer le gestionnaire avec ce raccourci pour créer un profil... fermer Firefox et ajouter le nom du profil au raccourci.
.
.
Votre Navigateur : Mozilla/5.0 (Windows NT 6.0; rv:52.0) Gecko/20100101 Firefox/52.0(version pour développement)

********************************************************************************************************************
Supplément à ma signature…
Notes :
:arrow: Pour les personnes ayant un problème avec un logiciel de Mozilla, autre que Firefox, veuillez poster sur le bon forum ! Cela sera bien mieux pour tout le monde et surtout pour vous-même, pour avoir des réponses plus rapidement… suivre l'accueil du forum
:arrow: Pour navigateur sur téléphone et tablette sous Android, c’est en haut de celui de Firefox viewforum.php?f=32
:arrow: Après utilisation de la fonction de recherches du forum, ouvrez votre propre nouveau fil (sujet) pour votre problème. Un internaute et son(ses) problème(s) = un fil.
Charte d'utilisation du forum