From 04bd48d6e5c0413be2bc6a01bd24e6a53e28674d Mon Sep 17 00:00:00 2001 From: gcolpart Date: Tue, 13 Dec 2016 00:11:42 +0100 Subject: [PATCH] init --- TipsFirefox.md | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 TipsFirefox.md diff --git a/TipsFirefox.md b/TipsFirefox.md new file mode 100644 index 00000000..9800c13b --- /dev/null +++ b/TipsFirefox.md @@ -0,0 +1,33 @@ +# 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 https://get.adobe.com/flashplayer/otherversions/ + +~~~ +# mkdir /usr/lib/pepperflashplugin-nonfree/ +# cp libpepflashplayer.so /usr/lib/pepperflashplugin-nonfree/ +# apt install browser-plugin-freshplayer-pepperflash +~~~ + +Note : browser-plugin-freshplayer-pepperflash est dans jessie-backports + +## plugin Java + +~~~ +# apt install icedtea-7-plugin +~~~ + +## Gestionnaire de profils + +~~~{.bash} +$ firefox --ProfileManager +~~~ \ No newline at end of file