Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#26 Le 31/01/2016, à 11:30

Ayral

Re : Changement police Firefox

moko138 a écrit :
Ayral a écrit :

Je suis sous Firefox version 40.

"40"???
Hier on est passé de 43 à 44.

Pardon, c'est bien la 44.0


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#27 Le 31/01/2016, à 11:43

Compte anonymisé

Re : Changement police Firefox

Et en désinstallant Ubuntu Firefox Notifications ?

#28 Le 31/01/2016, à 12:04

Ayral

Re : Changement police Firefox

J'ai bien Ubuntu Firefox Modifications (non activé) mais ne vois pas U FF Notifications.


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#29 Le 31/01/2016, à 12:11

Compte anonymisé

Re : Changement police Firefox

Oups, je voulais bien dire UFF Modifications smile
Il faudrait le désinstaller (remove --purge) et retenter en relançant FF après avoir refait l'opération mv .mozilla/ vieux_mozilla/

Dernière modification par Compte anonymisé (Le 31/01/2016, à 12:14)

#30 Le 31/01/2016, à 14:01

Coeur Noir

Re : Changement police Firefox

sudo dpkg-reconfigure fontconfig

voir post #24


DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne

#31 Le 31/01/2016, à 14:28

Ayral

Re : Changement police Firefox

Dans le post 24 tu proposais de supprimer fontconfig, puis la commande ci dessus.
J'hésite: voici le résultat de la recherche pour fontconfig :
1454246528.png
Il y en a un peu partout, dont beaucoup appartiennent à root.

jojo81 a écrit :

Il faudrait le désinstaller (remove --purge) et retenter en relançant FF après avoir refait l'opération mv .mozilla/ vieux_mozilla/

Il faudrait le supprimer . Supprimer FF ? Parce que module UF modifications n'a pas de bouton supprimer. Et j'ai déjç tenté de renommer .mozilla pour relancer. Et ça ne change rien à la question.
Mais c'est pas grave...

Dernière modification par Ayral (Le 31/01/2016, à 14:31)


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#32 Le 31/01/2016, à 14:55

Coeur Noir

Re : Changement police Firefox

Ayral a écrit :

Parce que module UF modifications n'a pas de bouton supprimer

sudo apt-get remove xul-ext-ubufox

ou via synaptic / logithèque, c'est un paquet, pas un module ;-)

Ayral a écrit :

Dans le post 24 tu proposais de supprimer fontconfig, puis la commande ci dessus.
J'hésite: voici le résultat de la recherche pour fontconfig :
http://pix.toile-libre.org/upload/img/1454246528.png
Il y en a un peu partout, dont beaucoup appartiennent à root.

Pardon, pardon, m'ai trompé ! C'est le fichier fonts.conf qu'il faut chercher et supprimer et non le dossier fontconfig. J'ai corrigé le post #24. Et ça, ça veut dire que tu ne lis pas les liens qu'on te propose, vilain wink Je présume que tu trouveras ce fichier dans le dossier fontconfig de ton dossier perso…

Dernière modification par Coeur Noir (Le 31/01/2016, à 15:09)


DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne

#33 Le 31/01/2016, à 15:47

Compte anonymisé

Re : Changement police Firefox

Ayral a écrit :
jojo81 a écrit :

Il faudrait le désinstaller (remove --purge) et retenter en relançant FF après avoir refait l'opération mv .mozilla/ vieux_mozilla/

Il faudrait le supprimer . Supprimer FF ? Parce que module UF modifications n'a pas de bouton supprimer. Et j'ai déjç tenté de renommer .mozilla pour relancer. Et ça ne change rien à la question.
Mais c'est pas grave...

Non, ce sont deux paquets dont l'un s'appelle xul-ext-ubufox me semble-t-il, mais si tu fais une recherche avec le gestionnaire de paquets Synaptic, tu peux les avoir en recherchant "Ubuntu Firefox Modifications", puis les supprimer.
Et c'est après les avoir supprimés que tu peux faire la manip de changement de dossier profil .mozilla.

#34 Le 31/01/2016, à 15:56

Ayral

Re : Changement police Firefox

Ok merci. Je regarderai ça. Là on a toute la petite famille à la maison.


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne