wiki/TipsFirefox.md

103 lines
2.7 KiB
Markdown
Raw Normal View History

2016-12-13 00:11:42 +01:00
# Astuces Firefox
## Bookmark dynamique
Créer un bookmark vers une URL du type <https://www.google.fr/?q=%s> avec le "keyword" gg
Vous pouvez ainsi chercher dans votre toolbar : `gg test`
et vous aurez une recherche Google !
2017-06-20 15:01:14 +02:00
## Avoir un Flash récent
2016-12-13 00:11:42 +01:00
Le support de Flash pour Linux se poursuit avec "Pepper Flash Player" qui est désormais téléchargeable sur <https://get.adobe.com/flashplayer/otherversions/> avec la version **PPAPI** compressé en tar.gz
Suite au téléchargement du fichier, voici la procédure à suivre :
2016-12-13 00:11:42 +01:00
~~~
# tar xf flash_player_ppapi_linux.x86_64.tar.gz
2016-12-13 00:11:42 +01:00
# mkdir /usr/lib/pepperflashplugin-nonfree/
# cp libpepflashplayer.so /usr/lib/pepperflashplugin-nonfree/
~~~
Il faut vérifier qu'il y ait bien l'option contrib dans jessie-backports :
~~~
2017-06-23 16:59:24 +02:00
# cat /etc/apt/sources.list.d/backports.list
# deb http://ftp.debian.org/debian jessie-backports contrib main
# apt update
~~~
Puis on installe le plugin suivant :
~~~
2016-12-13 00:11:42 +01:00
# apt install browser-plugin-freshplayer-pepperflash
~~~
2017-06-22 00:07:10 +02:00
Note 1 : browser-plugin-freshplayer-pepperflash est dans jessie-backports et stretch
Note 2 : au lieu de télécharger le plugin, on peut installer le paquet pepperflashplugin-nonfree de testing, cela fonctionne pour Jessie/Stretch : <https://packages.debian.org/testing/amd64/pepperflashplugin-nonfree/download>
2016-12-13 00:11:42 +01:00
## plugin Java
~~~
# apt install icedtea-7-plugin
~~~
## Gestionnaire de profils
~~~
2016-12-13 00:11:42 +01:00
$ firefox --ProfileManager
~~~
2017-05-02 17:13:56 +02:00
## Force l'usage d'un serveur DNS
2018-07-20 14:06:12 +02:00
Depuis la barre de recherche : about:config
Puis définir cette option :
~~~
network.dns.localDomains = 9.9.9.9
~~~
2017-05-02 17:13:56 +02:00
Ou mettre 127.0.0.1 pour que le système puisse faire une résolution en local et lire le fichier /etc/hosts.
2017-05-02 17:14:57 +02:00
## Forcer l'affichage en punycode des noms de domaines internationalisés
Aller dans about:config et forcer `network.IDN_show_punycode` à `true`
2017-05-02 17:13:56 +02:00
2017-09-22 10:15:23 +02:00
## Mettre Firefox en RAM
Si l'on a des problèmes de performances disques, ou que l'on utilise du NFS pour son /home, il peut être intéressant de minimiser les accès disques via l'utilisation de la RAM.
Pour désactiver le cache disque et utiliser la RAM, aller dans about:config et forcer :
- browser.cache.disk.enable => false
- browser.cache.memory.enable => true
## Utiliser l'édition développeur
On commence par la télécharger sur le site officiel : https://www.mozilla.org/fr/firefox/developer/
Décompresser le fichier dans le dossier /opt/ :
~~~
sudo tar xjf firefox-*.tar.bz2 -C /opt
~~~
Créer un lien symbolique du binaire :
~~~
sudo ln -s /opt/firefox/firefox /usr/bin/firefox-dev
~~~
2018-11-15 14:57:58 +01:00
Il est maintenant possible de le lancer depuis son terminal avec firefox-dev
## Supprimer l'historique navigateur
Notamment utile pour oublier le mot de passe saisie lors d'une authentification via htpasswd
~~~
Ctrl + Shift + Del
~~~