Mozilla Firefox a été le premier navigateur internet a offrir une interface personnalisable ce qui en fait aujourd’hui le premier navigateur gratuit. Pour l’installer, il suffit de se rendre sur le site de Mozilla : https://www.mozilla.org/fr/firefox/new/ .Tous les réglages se font par le biais du menu principal de Firefox en cliquant sur les trois barres horizontales en haut à droite du navigateur.
Bibliothèques
Dans le sous-menu des bibliothèques, on trouve les marques-pages (pages que l’on peut marquer en cliquant sur la petite étoile à droite de la barre d’adresse), l’historique des pages web visitées ainsi que l’historique des téléchargements.
Extensions
En cliquant sur « Modules complémentaires, on ouvre un nouvel onglet qui gère les extensions. Le menu de gauche est divisé en quatre parties : « catalogue » pour installer de nouvelles extensions, « extensions » où l’on voit les extensions installées dans le navigateur, « thèmes » pour choisir le thème d’affichage du navigateur (on peut en choisir de nouveaux dans le catalogue). Pour installer de nouvelles extensions, il faut cliquer sur catalogue, puis descendre tout en bas de la page et cliquer sur « découvrez davantage de modules », il y a une zone de recherche en haut de la page. Une fois que l’on a trouvé le module voulu, cliquer sur « ajouter », une petite fenêtre s’ouvre en dessous de la barre d’adresse vous demandant de confirmer, cliquer sur « ajouter ».
Extensions utiles
- AdBlock ou uBlock : ce sont des bloqueurs de fenêtres publicitaires
- Google translator : Le traducteur de google, utile même si le français n’est pas très « académique »
- Disconnect : Empêche les traqueurs et les cookies
- Flagfox : affiche le drapeau du pays où est hébergé le site que l’on visite.
Si quand on fait une recherche simple sur Google, on se retrouve avec des résultats qui ne correspondent pas à notre recherche aux premiers résultats, il y a de fortes chances qu’une extension malveillante se soit installée à notre insu. Vérifier dans la liste des extension qu’une extension que l’on a pas installée soit présente (du type « mapsgalaxy », « plan de paris », « reductions… », ou encore « recettes… ». Si c’est le cas, cliquer sur « supprimer » sur la ligne de l’extension.
Options
Le menu options permet de faire tous les réglages de Firefox, il est divisé en cinq parties. C’est dans la partie « Général » que l’on peut faire des réglages généraux comme enregistrer automatiquement les fichiers téléchargés dans le dossier « Téléchargements » ou si l’on préfère choisir à chaque fois où les enregistrer. Le menu « Accueil » nous permet de changer la page d’accueil du navigateur (au cas où un programme malveillant nous l’avait changé). Dans la section « recherche », on peut choisir le moteur de recherche par défaut du navigateur (lui aussi peut être modifié par un programme malveillant. Dans la section « Vie privée et sécurité », on peut retrouver les mots de passe enregistrés et aussi choisir si l’on veut garder l’historique de navigation ou non. Enfin , si on n’utilise pas de compte Firefox, la dernière partie ne nous concerne pas.
Personnalisation
La fenêtre personnalisation permet de choisir les éléments que l’on veut afficher et à que endroit sur le navigateur. C’est ici que l’on peut choisir d’afficher ou non la barre de menus (fichier, édition, affichage…) et la barre personnelle (marques-page). Si les modification faites ne vont pas, il y a un bouton « configuration par défaut » pour revenir aux réglages d’origine.
Mise à jour
Normalement, Firefox se met à jour automatiquement mais il peut arriver que cela ne fonctionne pas comme il faut. Pour procéder à une mise à jour manuelle, cliquer sur « Aide » dans le menu principal puis sur « A propos de Firefox », une fenêtre s’ouvre, si il est indiqué « Firefox est à jour » en dessous de numéro de version, tout va bien, sinon, Firefox lancera automatiquement le téléchargement et l’installation de la nouvelle version.