Catégorie : Bloc-note

J’ai l’habitude de placer dans le bloc note la solution à des petits soucis techniques, des choses qui m’ont été utiles et dont que j’ai généralement trouvées sur le Web. Je les note ici au fur et à mesure, pour les retrouver si j’en ai besoin et je les partage volontiers avec vous.

Lying Cars, Cheating Printers 0

Lying Cars, Cheating Printers

What if cars lied like printers? All this began with cars that did not consume on the road what their manufacturer claimed they consumed on the test benches. Or was it before ? It...

Chercher et Remplacer 0

Chercher et Remplacer

Une commande dans le terminal pour chercher et remplacer une chaine de caractères dans plusieurs fichiers perl -pi -w -e ‘s/SEARCH_FOR/REPLACE_WITH/g;’ *.txt Il y a d’autres manières de faire cela, en utilisant sed par...

Latex magic comments 0

Latex magic comments

It can be a real pain to open files with various character encodings inside TeXShop. Indeed, you basically have to change TeXShop’s settings each time. Hopefully, I recently came across a little-documented feature that...

Agrandir la taille d’un disque VirtualBox 0

Agrandir la taille d’un disque VirtualBox

Steps to Increase your VirtualBox Hard Disk Size cd into the directory where your virtual drive is found (usually ~/VirtualBox VMs/{Your VirtualBox PC name}) cd ~/VirtualBox VMs/Win7 run the modify hd function with the...

Latex magic comments 0

Latex magic comments

It can be a real pain to open files with various character encodings inside TeXShop. Indeed, you basically have to change TeXShop’s settings each time. Hopefully, I recently came across a little-documented feature that...