Mozilla Firefox est un navigateur web libre conçu par la Fondation Mozilla, à la suite de Netscape.
Il peut être considéré comme le navigateur le plus complet, notamment grâce à de nombreux modules complémentaires que l'on peut lui rajouter.
Firefox est installé par défaut sur Ubuntu et de nombreuses variantes. S'il vous faut néanmoins le (ré)installer, il suffit d'installer le paquet firefox.
Mozilla propose Firefox à travers 3 canaux différents1) de mise à jour, par ordre décroissant de stabilité :
Enfin, comme la plupart des projets, Firefox dispose de « daily builds ».
Ces trois versions instables de Firefox sont proposées dans des dépôts PPA maintenus par la Mozilla Team d'Ubuntu. Pour rapporter des bugs sur les versions de développement, consultez la page dédiée.
firefox-trunk
et non firefox
.
Certains établissements publics, entreprises ou/et certains services nécessitent d'installer la version ESR
Elles sont téléchargeable dans toutes les langues à l'adresse suivante :
https://www.mozilla.org/en-US/firefox/organizations/all/
Il peut arriver, parfois, que le français ne s'installe pas correctement. Voici comment résoudre le problème.
A noter qu'au 14.09.2016, il faut utiliser pour la version 47 de Firefox l'add on idoine de la page suivante (qui comporte cependant quelques erreurs et oublis minimes dans la traduction Ichi).
Voir cette page. Si cela ne résout pas le problème:
firefox-locale-fr
est bien installé en installant le paquet firefox-locale-frDans certains cas, le paquet installé n'est pas reconnu par la version de Firefox (ex 29). il faut désinstaller la version courante à l'aide de la commande suivante saisie dans un terminal:
sudo apt-get remove firefox-locale-fr
puis reprendre l'installation du paquet expliquée ci-dessus.
Dans le menu tools de Firefox, choisir "add-ons" puis "language" et cliquer sur "enable" si le module "Français Language Pack" est désactivé.
Après une installation du système, il peut arriver que la version de "add-ons" de langue soit plus récente que la version de Firefox. Le module complémentaire apparaîtra donc comme désactivé et sera indiqué comme incompatible avec la version de Firefox actuelle. Vous devez dans ce cas installer une ancienne version du module complémentaire correspondante à votre version de Firefox. La liste des versions de ce module est accessible depuis cette : page. La bonne version possédera un bouton d'installation "Ajouter à Firefox" cliquable (de couleur verte).
Si Firefox n'est toujours pas en français, on va l'installer manuellement.
about:config
dans la barre d'adresse;general.useragent.locale
est 'fr', sinon double-cliquer dessus et mettre fr.Si on veut ajouter des dictionnaires pour utiliser la correction orthographique (et en particuliers les dictionnaires Français), on peut utiliser le menu depuis Firefox (clic droit ⇒ Langues ⇒ Ajouter des dictionnaires …), ce qui ajoute des modules/extensions. Mais on peut aussi utiliser la méthode Ubuntu / Linux 5) en ajoutant un paquet (qui sera aussi utilisé par LibreOffice) : myspell-fr-gut
Il suffit d'aller dans les Préférences de Firefox, dans l'onglet Avancé, puis onglet Général: cocher la dernière case, et éventuellement de redémarrer Firefox. On confirmera l'action dans le pop-up qui apparaît.
On peut aussi, dans les Préférences système, définir Firefox comme "Application préférée" pour le Web.
Certains raccourcis claviers peuvent être utiles. En voici la liste sur le site de Mozilla : Liste des raccourcis claviers.
De même, voici les raccourcis souris utilisables : Liste des raccourcis souris.
Les pages HTML peuvent également contenir des raccourcis claviers. Pour les utiliser, il faut faire Alt + Shift + Touche.
Par exemple, sur la documentation Ubuntu-fr.org, vous pouvez faire Alt + Shift + O pour afficher les derniers changements de la page affichée. Pour connaître les autres raccourcis du menu Actions de la documentation, laissez votre souris au-dessus d'un de ses éléments et une notification vous affichera le raccourci à utiliser entre crochets (exemple précédent : [O]).
Assurez-vous que vous avez la dernière mise à jour de FFmepg (installer le paquet ffmpeg) dans votre distribution Ubuntu.
Certains sites (Youtube, Dailymotion, Arte, Vimeo.com, ina.fr, Jeuxvideo.com…) ont leur lecteur qui affiche nativement les vidéos HD en HTML5.
Certains sites (Youtube, Twitch, Dailymotion, Jeuxvideo.com, C+, Arte, C8, Cnews, Cstar, Gulli, Numero23, France24) ont leur lecteur qui affiche le direct en HTML5.
Pour les autres sites on peut opter pour Viewtube une application JavaScript qui permet de visualiser les vidéos de sites de partage de vidéos sans avoir à installer Adobe Flash Player. Il enlève le contenu Flash intégré, et ensuite cherche la vidéo dans la page avant de l'ajouter grâce a une méthode plus classique. Les vidéos peuvent être vues avec un plugin vidéo ou avec le lecteur HTML5.
L'extension Firefox modify-headers, dans laquelle on paramètre (exemple : User-Agent_NokiaE5-00/SymbianOS/9.1 Series60/3.0 3gpp-gba_Nokia Featurephone) l'User-Agent d'un portable ne pouvant pas avoir flashplayer.Cela fait passer Firefox pour un nokia et donc si le site est bien fait, cela force le passage à html5, par contre on a la présentation du site comme sur un mobile.
Allez dans les Préférences de Firefox, onglet "Avancé / Général", et cochez la case "Utiliser le défilement automatique". Désormais, le clic du milieu fera apparaître un rond, et vous pourrez contrôler le défilement avec votre souris !
Vous pouvez faire une recherche grâce à des moteurs de recherche en saisissant vos mots-clés dans la barre d'adresse ou la barre de recherche.
Nous allons voir comment personnaliser les moteurs de recherche.
Pour beaucoup de moteurs de recherche, il suffit de se rendre sur le site du moteur de recherche. En cliquant sur l'icône à gauche du champ de recherche, il apparaît "Ajouter «Documentation Ubuntu Francophone»" par exemple. Cliquer dessus ajoutera le moteur de recherche !
Une autre solution est de rechercher votre moteur de recherche sur l'annuaire MyCroft. vous pouvez aussi ajouter une extention GNU Add to Search Bar.
Il s'agit de définir un mot-clé pour un marque-page :
test
dans google scholar;%s
. Ici, on obtient: http://scholar.google.com/scholar?q=%s&hl=en&btnG=Rechercher&lr=s Albert Einstein
dans la barre d'adresse pour rechercher "Albert Einstein" dans Google Scholar. On peut utiliser une recherche "J'ai de la chance" dans la barre de recherche.
Modifiez, dans la page about:config
, la valeur de keyword.URL
par le moteur de recherche ; par exemple :
http://www.google.com/search?sourceid=navclient&gfns=1&q=
Ainsi, Google vous redirigera vers le site le plus pertinent qu'il trouvera.
Pour revenir au comportement par défaut, il suffit de faire un clic droit sur keyword.URL, puis sélectionner Réinitialiser.
Voir la page extensions-firefox répertoriant les extensions Firefox utiles.
Les plugins (ou greffons): Adobe Flash Player™, Java, plugins vidéos,… permettent à votre navigateur de lire les différents contenus rencontrés sur internet (animations/vidéos, Java…). Certains sont installés et activés par défaut, d'autres non. Pour installer, activer, gérer ces plugins, dans le menu de Firefox, choisir "Modules → Plugins.
Un accès direct aux modules est possible en saisissant dans la barre d'adresse: about:addons puis valider.
Les Thèmes permettent de mettre, essentiellement, un arrière-plan à la barre de menu, la barre personnelle et d'onglets.
On les retrouve aussi dans le catalogue des Modules Complémentaires, et sur le site de Mozilla : Thèmes Firefox.
On va utiliser fréquemment la page about:config
qui permet de configurer Firefox.
Un filtre de recherche en haut permet de trouver une valeur ; double-cliquer dans la colonne de droite permet de modifier une valeur.
Vos données personnelles (Marque-pages, mots de passe,…) sont enregistrés dans un "Profil". Firefox peut en gérer plusieurs.
Les profils sont stockés dans ~/.mozilla/firefox/, dans des dossiers au nom aléatoire (sous la forme xxxxxxxx.default
).
Pour sauver un profil, il suffit de copier le dossier correspondant, à l'aide de votre gestionnaire de fichiers, à un autre emplacement.
Vous pouvez créer des profils pour utiliser des outils particuliers avec une configuration précise (ou allégée) de Firefox. Voici la méthode :
autreprofil
firefox -no-remote -p autreprofil
(-no-remote
permet de lancer une nouvelle instance de Firefox)
En cas de gros problème avec Firefox, on peut avoir intérêt à utiliser un nouveau profil. Pour cela:
firefox -ProfileManager
Voir https://developer.mozilla.org/fr/docs/Mozilla/Command_Line_Options#-no-remote
En général, les problèmes précédents auront disparu. Mais le nouveau profil a fait tout perdre des marque-pages et des mots de passe enregistrés. Pour retrouver les mots de passe, il faut:
Dans le cas d'un "dual boot" Windows/Ubuntu, il est intéressant de partager son profil entre les deux systèmes d'exploitation. Voir ce tutoriel.
Depuis Firefox 3, les boutons de la souris qui servaient à la navigation des pages et la touche Backspace du clavier ont été modifiés.
Pour la souris, les boutons "reculer d'une page" et "avancer d'une page" sont maintenant affectés au défilement horizontal.
Pour le clavier, la touche Backspace est inactive.
Allez à la page de configuration en entrant dans la barre d'adresse about:config
et modifiez les valeurs suivantes (clique droit sur la valeur, puis modifier) de cette façon :
mousewheel.horizscroll.withnokey.action = 2
mousewheel.horizscroll.withnokey.numlines = -1
mousewheel.horizscroll.withnokey.sysnumlines = false
Allez à la page about:config
et modifiez le paramètre suivant comme tel : "browser.backspace_action = 0'
Voici l'équivalence des différentes valeurs:
browser.backspace_action = 0
la touche Backspace ramènera à la page précédentebrowser.backspace_action = 1
la touche Backspace permet de revenir en haut de page et [Shift]+[Backspace] en bas de pagePour toute autre valeur, la touche Backspace sera désactivée.
Par défaut le défilement de la molette est de 3 lignes par cran.
Pour le modifier, allez sur la page about:config
et définissez les valeurs suivantes comme tel:
mousewheel.withnokey.sysnumlines
: false
mousewheel.withnokey.numlines
: Le nombre de lignes voulu (par exemple 8 voire 10)Redémarrez Firefox, le résultat est là.
Il est possible d'intégrer les notifications de Firefox au système de notification d'Ubuntu si ce n'est pas le cas : Il suffit d'installer l’extension GNotifier (Source).
Par défaut une fenêtre "pop-up" surgit pour vous notifier de la fin d'un téléchargement. Ce n'est pas forcément utile pour tous et une petite animation peut être la cause d'un grand ralentissement sur une configuration matérielle légère, voici comment s'en dispenser :
Il est parfois nécessaire de verrouiller certains paramètres pour que l'utilisateur ne puisse pas les modifier, comme par exemple la page d'accueil ou la configuration du proxy.
Pour mettre en place ce type de verrouillage, rendez-vous sur la page Verrouiller des paramètres de Firefox.
Le profil par défaut est celui-ci qui est crée :
- lors de la première utilisation de Firefox par un utilisateur donné (y compris le compte "Invité" ? )
- lors de la création d'un nouveau profil
Voir cette discussion sur le forum.
Vous pouvez néanmoins simplement régler quelques paramètres en éditant le fichier :
/etc/firefox/syspref.js
Par exemple :
ajouter la ligne suivante :
user_pref("browser.startup.homepage", "https://start.duckduckgo.com/?kl=fr-fr"); // page d'accueil = recherche DuckDuckGo en français
Pour afficher les onglets dans la barre de titre (comme sous Windows) :
any
de Décoration des fenêtres par any & !(class=Firefox & state=maxvert)
Les onglets seront dorénavant dans la barre de titre en mode maximisé de Firefox 4. Pour changer le thème des boutons grâce à Stylish c'est ici
Si vous avez un problème, celui-ci est peut-être dû à une extension. On peut lancer Firefox sans les extensions : c'est le mode sans échec. Dans un terminal, exécutez :
firefox --safe-mode
Si le mode sans échec permet de résoudre le problème, vous pouvez essayer d'activer une par une vos extensions afin de trouver la fautive.
Vous pouvez aussi réinitialiser votre profil en lisant la procédure dans la documentation officielle.
De manière générale, l'accès au site de la documentation officielle peut se faire via Menu → Aide → Aide de Firefox.
Pour aider au mieux les personnes sur les forums, recopier les Informations de dépannage obtenues via Menu → Aide → Informations de dépannage (ou en tapant directement about:support dans la barre d'adresse).
Si vous tentez de lancer Firefox et que vous voyez apparaître un message d'erreur de type "Firefox is already running", une instance de Firefox semble déjà exister.
Lancez le Moniteur Système (menu Système → Administration).
Vous devriez trouver dans la liste un processus appelé "Firefox", il vous suffit alors de le sélectionner et de cliquer sur "Terminer ce processus".
Si après mise à jour et récupération de votre profil, les mots de passe n'ont pas été récupérés, il peut s'agir d'un problème d'encodage du fichier signons3.txt.
Suivez alors la procédure indiquée ici.
Il arrive que les marque-pages disparaissent et que l'on ne puisse plus naviguer avec Firefox. Dans ce cas, il se peut que vous n'ayez plus d'espace disponible sur la partition où est monté le /home. Faites de la place, redémarrer votre session et les marque-pages réapparaissent !
Lorsque l'on lance Firefox sur une machine distante sur laquelle on est connecté via SSH (en session graphique bien entendu), Firefox se lance sur la machine locale. This is not a bug, but a feature (Ce n'est pas un bug, mais une fonctionnalité !) !
Il faut autoriser plusieurs instances de Firefox, et donc exécuter :
firefox --no-remote
Si l'impression se fait sur 2 pages au lieu d'une seule prévue, il est possible que Firefox ait récupéré du pilote d'impression un format de feuille qui ne soit pas au standard 210x297mm. Pour y remédier, il suffit de changer le format d'impression de Firefox.
Si la solution ci-dessus n'aboutit pas, il vous faudra modifier à la main les formats d'impression. Pour cela:
about:config
puis valider et "promettez de faire attention".Print.print_paper_size
et changer le en 297Print.print_paper_size_type
et changer le en iso_a4Printer.tmp.Printerfeatures
….)
Firefox étant mal intégré à KDE depuis la désertion des paquets kde-mozilla, il n'utilise pas vos applications par défaut. C'est notamment gênant lorsque le choix de l'application à utiliser n'est pas proposé comme lors de l'ouverture du répertoire de téléchargement d'un fichier. Pour remédier à ça, éditez le fichier ~/.local/share/applications/mimeapps.list . Ajoutez les lignes suivantes dans les catégories correspondantes :
Dans la catégorie « [Added Associations] » (si elle n'existe pas, créez-la) :
x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop;
Dans la catégorie « [Default Applications] » (si elle n'existe pas, créez-la) :
x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop;
Votre fichier mimeapps.list doit désormais ressembler à ceci :
[Added Associations] x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; [Default Applications] x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop;
Firefox devrait maintenant utiliser Dolphin par défaut pour ouvrir vos dossiers. Pour configurer les autres applications par défaut, il faut vous munir de son type MIME (effectuez simplement une recherche "[Extension du fichier]+Type MIME" et trouvez quelque chose du type « video/ogg »). Il vous faut aussi un fichier .desktop qui est un raccourci vers l'application par défaut que vous souhaitez utiliser. Tous les fichiers .desktop disponibles se trouvent dans le dossier /usr/share/applications/ . Si vous ne trouvez pas le .desktop approprié, créez-le en utilisant un déjà existant dans ce même répertoire puis en l'éditant avec un simple éditeur de texte. Il vous faut ensuite éditer le fichier ~/.local/share/applications/mimeapps.list très logiquement de la manière suivante : Dans les catégories [Added Associations] et [Default Applications] ajouter
"Le Type MIME que vous avez trouvé"="votre fichier.desktop";
De manière à obtenir quelque chose comme :
[Added Associations] x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; video/ogg=vlc.desktop; [Default Applications] x-directory/normal=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; inode/directory=kde4-dolphin.desktop;kde4-kfmclient_dir.desktop;kde4-gwenview.desktop;kde4-filelight.desktop;kde4-cervisia.desktop; video/ogg=vlc.desktop;
Page |
---|
Bookmarklet : Des Marques pages Scriptés |
Comment partager ses profils Firefox (marque-pages, etc) entre Ubuntu et Windows ? |
Optimisation des paramètres pour clients légers |
Contributeurs principaux : DarkShade, FelixP (Refonte Octobre 2013)