init
This commit is contained in:
parent
be7d49895d
commit
04bd48d6e5
33
TipsFirefox.md
Normal file
33
TipsFirefox.md
Normal file
|
@ -0,0 +1,33 @@
|
|||
# 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 !
|
||||
|
||||
## 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
|
||||
~~~
|
Loading…
Reference in a new issue