# Astuces Firefox ## Bookmark dynamique Créer un bookmark vers une URL du type avec le "keyword" gg Vous pouvez ainsi chercher dans votre toolbar : `gg test` et vous aurez une recherche Google ! ## Avoir un Flash récent Le support de Flash pour Linux se poursuit avec "Pepper Flash Player" qui est désormais téléchargeable sur (PPAPI) ~~~ # mkdir /usr/lib/pepperflashplugin-nonfree/ # cp libpepflashplayer.so /usr/lib/pepperflashplugin-nonfree/ # apt install browser-plugin-freshplayer-pepperflash ~~~ 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 : ## plugin Java ~~~ # apt install icedtea-7-plugin ~~~ ## Gestionnaire de profils ~~~ $ firefox --ProfileManager ~~~ ## Forcer l'affichage en punycode des noms de domaines internationalisés Aller dans about:config et forcer `network.IDN_show_punycode` à `true`