Linux

Firefox / Iceweasel ~ Debian Wheezy

En cas de souci graphique (texte avec rature rouge, jira affichant des rectangles blancs, etc...), lire ce lien.

Il y est notamment préconisé de changer gfx.xrender.enabled à false dans about:config.

Imprimantes sous Debian / Ubuntu

• Aller sur cette URL : http://localhost:631/admin
• Si ça rate, c'est que CUPS n'est pas installé. Veuillez lire cette documentation. Même si ça va se résumer à l'installation des paquets cupsys-bsd, cupsys-driver-gimpprint et cupsomatic-ppd pour faire rapide)
• Cliquez sur le bouton Ajouter une imprimante
• Tapez le compte root et son mot de passe (j'ai bien dit le root, pas votre utilisateur !). Je ne sais pas s'il y a moyen de le faire avec votre compte normal, la doc d'Ubuntu dit que si, mais l'expérience dit que non.
• Sélectionnez Internet Printing Protocol (http) dans Autres Imprimantes Réseaux puis cliquez Continuer
• Dans Connexion rentrez socket://10.33.1.5 puis cliquez Continuer
• Dans l'écran Nom/Description/Emplacement, rentrez ce que vous voulez (j'ai mis HP-LasetJet-P3015 comme nom et Imprimante DSI comme description). Puis cliquez sur Continuer.
• Il vous faudra choisir la marque, qui sera HP. Puis cliquez sur Continuer.
• Dans le modèle, sélectionnez HP LaserJet P3010 Series Postscript (recommended) et enfin cliquez sur Ajouter une imprimante.

Afficher les caractères cachés avec cat

cat -A pour afficher les caractères cachés avec cat (voir aussi doc sur vim).

Convertir des noms de fichier non UTF-8 (typiquement provenant d'un vieux disques NTFS/FAT)

convmv -f cp1252 -t utf-8 -r *

Convertir un disque en image de disque virtuelle VHD

Lire How to create VHD disk image from a Linux live system?, la commande est la suivante :

VBoxManage convertfromraw myfile.dd myfile.vhd --format VHD