~/.mozilla/firefox
Afin d'effacer les lignes vides de ces bases de données et de rendre votre navigateur plus rapide, il vous faudra tout d'abord installer SQLite :
sudo apt-get install sqlite3
Puis, dans le répertoire de votre profil Firefox (c'est un exemple, les profils Firefox ont un nom généré aléatoirement) :
~/.mozilla/firefox/xxxxxxxx.Default User
entrez cette commande dans votre terminal :
for i in *.sqlite; do echo "VACUUM;" | sqlite3 $i ; done
On peut optimiser cette manipulation en nettoyant tous les profils de Firefox. Pour cela, suivez ces instructions :
Tout d'abord, créez le fichier "clean-the-fox.sh" :
gedit clean-the-fox.sh
Puis copiez/collez-y ce script :
#!/bin/bash
# Tuer Firefox au cas où il ne serait pas fermé :
killall firefox
# Lancer la commande "VACUUM" sur toutes les bases de données contenues dans le dossier firefox :
for list in ~/.mozilla/firefox/*.default/*.sqlite; do
echo "Nettoyage de" $(basename $list)
sqlite3 $list "VACUUM"
echo "Nettoyage terminé !"
done
wait
avant de l'enregistrer et de fermer Gedit.
Ensuite rendez-le exécutable :
chmod +x clean-the-fox.sh
Et enfin éxecutez-le dans le répertoire de vos profils Firefox :
./clean-the-fox.sh
C'est tout ! Vous devriez constater un gain de performance plus ou moins visible, selon l'utilisation que vous faites de votre navigateur (avec mes quelques milliers de marque-pages, le progrès a été net).
Source
[ Ajouter un commentaire ] ( 32 lectures ) | [ 0 trackbacks ] | permalien | ( 3 / 1422 )
Depuis la sortie de la nouvelle mouture du navigateur de la fondation Mozilla, Firefox 3, on peut marquer une page rapidement, en cliquant simplement sur l'étoile de la barre d'adresse. Il est ensuite possible de retrouver ce marque-page depuis la awesome bar (la barre d'adresse qui cherche aussi dans l'historique de navigation et les marque-pages grâce aux tabulations et au pavé directionnel) ou en cliquant sur Marque-pages / Organiser les marque-pages... / Marque-pages non-classés. Si vous souhaitez que vos marque-pages non-classés apparaissent en dossier dans les marque-pages, il suffit de créer un dossier (Marque-pages / Organiser les marque-pages... / Clic droit sur Menu des marque-pages / Nouveau dossier...) et de remplir les champs suivants :
Nom : Marque-pages non classés
Emplacement : folder=UNFILED_BOOKMARKS
Cliquez sur le bouton "Ajouter" et vous aurez un accès simple à vos marque-pages non classés.
[ Ajouter un commentaire ] ( 18 lectures ) | [ 0 trackbacks ] | permalien | ( 3 / 1418 )