VirtualBox
Posted on 2015-03-01 in Trucs et astuces • Tagged with VirtualBox, Virtualisation
Sommaire
Transform img disk (qemu) to vdi (Virtual Box)
You need to convert img in raw with qemu-img …
Continue reading
Posted on 2015-03-01 in Trucs et astuces • Tagged with VirtualBox, Virtualisation
Sommaire
You need to convert img in raw with qemu-img …
Posted on 2015-01-17 in Trucs et astuces • Tagged with git, Linux
Récemment, j'ai eu besoin de fusionner deux dépôts en un seul. Ça se fait plutôt bien. Voilà la procédure :
# On clone les dépots git clone projet1 git clone projet2 cd projet1 # On ajoute le projet2 comme source dans le projet1 git remote add projet2 ../projet2 git fetch projet2 # On liste …
Posted on 2015-01-09 in Trucs et astuces • Tagged with Linux, Bash/Shell
Bash est capable d'intercepter les signaux envoyés par certains raccourcis claviers (comme Ctrl-C) et de changer le comportement par défaut de ces raccourcis. Il suffit pour cela d'utiliser la commande trap. Elle prend en premier argument la commande à exécuter puis les signaux sur lesquels elle doit réagir.
Par exemple …
Posted on 2015-01-07 in Trucs et astuces • Tagged with Linux, Bash/Shell, Webdav, curl
Il est tout à fait possible (et c'est même facile) d'utiliser curl pour communiquer avec un service webdav. Attention toute fois, tous les événements sont contenus dans des fichiers séparés qui doivent contenir les lignes BEGIN:VCALENDAR et END:VCALENDAR en plus des lignes décrivant l'évènement en lui même.
Pour …
Posted on 2014-09-09 in Trucs et astuces • Tagged with git, Linux, mr, vcsh
Depuis pas mal de temps, je gère les fichiers de conf de mon home avec git, notamment ma conf emacs et mon dossier bin. L'intérêt étant à la fois de pouvoir partager les configurations entre plusieurs ordinateurs, de pouvoir revenir en arrière en cas de besoin et de voir l'historique …
Posted on 2014-09-07 in Trucs et astuces • Tagged with Bash/Shell, Unix
Liste de commandes pour des actions spécifiques. Pas/peu de détails/explications, prérequis de shell supposés connus. Si une commande est donnée pour bash uniquement, cela signifie qu’elle n’est pas compatible avec le shell POSIX ou d’autres implémentations basiques mais est vraisemblablement disponible dans les autres implémentations …
Posted on 2014-09-06 in Trucs et astuces • Tagged with Zsh, Bash/Shell, Linux
Depuis plusieurs mois maintenant, j'utilise zsh comme interpréteur par défaut. L'un des principaux avantages de zsh par rapport à bash est la possibilité de complétion avancée. Sous bash, lorsqu'on appuie sur <TAB> pour obtenir la complétion d'une commande, bash se contente de lister les possibilités. Sous zsh, les pressions suivantes …
Posted on 2014-08-13 in Trucs et astuces • Tagged with LaTeX, diagramme FAST
J'ai récemment eu besoin d'insérer des diagrammes FAST dans un rapport en LaTeX. J'ai d'abord pensé les réaliser sur un logiciel de diagramme comme dia pour l'insérer comme une image et puis j'ai découvert le paquet fast-diagram qui définit un environnent et des commandes LaTeX pour réaliser un joli diagramme …
Posted on 2014-05-09 in Trucs et astuces • Tagged with git
git est tout à fait capable de gérer plusieurs dépôt distant. Voilà comment en ajouter un.
Posted on 2014-03-09 in Trucs et astuces • Tagged with Bash/Shell, python, ipython
Bash est assez pénible quand à la gestion des espaces. Par défaut, la boucle for itère sur ce qui est séparé par un saut de ligne ou un espace. Je n'ai pas encore trouvé de solution satisfaisante en bash pur. Mais python (ou plutôt ipthon peut venir à la rescousse …