Catégories
Trucs et astuces

Réglages Firefox/Mozilla

firefox-memoire.miniature.png

Bien que j’adore Mozilla/Firefox à l’utilsation force est de constater qu’il devient au fur et à mesure des versions de plus en plus gourmand en ressources mémoire.
La recherche de nouvelles fonctionnalités n’y est pas étrangère.

Les deux sites suivants [1] et [2] expliquent le nouveau système de mise en cache des pages afin de rendre quasi immédiat l’utilsation des boutons « Suivant » et « Précédent ». Bien que cette fonctionnalité soit particulièrement interressante dans de nombreux cas, elle est gourmante en mémoire ( environ 4M par page sauvegardée).

Ces astuces devraient vous permettrent de réduire (si vous le désirez une partie de la consommation mémoire de Firefox).

Pour mémoire et pour aller vite, voici les options a modifier à l’URL about:config :

browser.cache.memory.capacity 2048

  • -1 : Firefox prend les valeurs prévues par le programme (Mode gourmand)
  • 0 : déctive totalement le cache
  • xxxx : mémoire que vous décidez d’allouer en ko.

browser.sessionhistory.max_total_viewers 0

  • -1 : nombre de pages prévues par Firefox (dépendant de la mémoire disponible sur la machine)
  • 0 : le cache est complètement désactivé
  • un chiffre positif : nombre de pages à mettre dans le cache
Catégories
Trucs et astuces

Enregistrer un flux RealAudio

De plus en plus de radios (France Culture par exemple) ne fournissent leur émission qu’au travers d’un streaming RealAudio. Pour les écouter il n’y pas vraiment de problème, là ou cela se corse c’est pour les stocker sur son disque dur.

Une façon aisée de récupérer le flux et de l’enregistrer en un fichier stockable se fait de la façon suivante :

  1. Récupération de l’URL du flux RealAudio : cette URL est souvent masquée dans un fichier .ram, il suffit donc de l’éditer ( c’est un simple fichier texte) et de récupérer l’URL de la forme rtsp://… (que l’on nommera <RTSP_URL> par la suite).
  2. Lancer ensuite mplayer de la façon suivante : mplayer -nosound -noframedrop -dumpfile <NOM_FICHIER_AU_CHOIX>.rm -dumpstream <RTSP_URL>

Et quand tout est fini pour les convertir en mp3 ou ogg au besoin à l’aide de oggenc #!/bin/sh rep=`pwd` cd "$rep/$1" for file in *.rm ; do wav="${file%rm}wav"; mp3="${file%rm}mp3"; mplayer32 -vo null -ao pcm:file="$wav" "$file"; lame "$wav" "$mp3"; rm "$wav"; done cd $rep

Catégories
Programmation

Accessibilté des sites internet

Vidéo sur l’accessibilite à l’université du Wisconsin

La vidéo sur l’accessibilite à l’université du Wisconsin

Quelques liens :

Quelques exemples, tutoriels :

Des documents à télécharger :

Catégories
Linux

Compilation du noyau à la sauce Debian

fakeroot make-kpkg clean
fakeroot make-kpkg --revision nom_de_la_machine_cible.numéro_de_version kernel_image
fakeroot make-kpkg --added_modules=truc --added_patches=bordel --revision 0 linux-h.y.u

puis un simple :

sudo dpkg -i kernel-image-2.6.X_nom_de_la_machine_cible.numéro_de_version_amd64.deb

Quelques liens :