Increase the size of a VirtualBox drive

Français EnglishSteps 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 new size (in MB) I choose 50GB (50 * 1024mb = 51200MB) VBoxManage modifyhd Win7.vdi –resize 51200 VirtualBox will resize

Latex magic comments

Français EnglishIt 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 allows you to specify the encoding on a per-file basis: you simply add a metadata (a special TeX comment) at

Configuration LaTeX dans le Cloud

Pour partager sa configuration LaTeX entre plusieurs ordinateurs il est possible de déplacer le dossier texmf contenant les personnalisations vers un dossier synchronisé dans le « Cloud », avec « Copy« , « DropBox » ou autre « Service Cloud ». Le chemin de ce dossier sera de la forme : `/Users/marc/Cloud/latex/texmf/tex/` et il doit être organisé avec un arbre TeX pour être

Applications récentes

Il est toujours utile d’avoir un listing des dernières applications utilisées ou encore des documents récemment ouverts. Certes avec un Macbook on peut retrouver une application en 2 secondes grâce au spotlight. On peut aussi mettre ses applications favorites dans le Dock, mais il est toujours utile d’avoir un listing des dernières applications utilisées ou

Mettre en place sudo

Si votre système n’est pas encore paramétré pour vous permettre d’utiliser « sudo« , voici les étapes à suivre pour le mettre en place. Cela devrait etre la dernière fois que vous utiliserez le compte administrateur « root », le but de sudo étant de pouvoir passer occasionnellement une commande super utilisateur depuis son compte utilisateur. Ouvrer un terminal

Les Beatles sont devenus jetables

La transformation numérique a depuis longtemps transformé l’industrie musicale, tout a commencé il y a bien longtemps quand les disques vinyles (analogiques) sont devenus des CD (numériques) mais à l’époque nous étions loin d’imaginer jusqu’où irait cette numérisation. Grâce au réseau elle est devenue aussi dématérialisation avec la technologie du streaming, c’est ainsi que les