Déplacer des lignes correspondant à une regexp en bash

Posted on 2015-07-22 in Trucs et astuces • Tagged with Bash/Shell

Récemment sur un projet j'ai dû mettre à jour closure compiler. Afin de faire cette mise à jour, j'ai dû déplacer certaines lignes de code utilisées par closure : le compilateur utilise des goog.require et des goog.provide pour trouver les dépendances entre les fichiers. Dans la version utilisée par …


Continue reading

Supprimer la ligne encoding de fichiers python

Posted on 2015-07-22 in Trucs et astuces • Tagged with python, Bash/Shell

Lors du passage à python 3 sur un projet, j'ai décidé de supprimer les lignes qui donnent l'encodage du fichier. En effet, ils étaient tous en UTF-8 et c'est l'encodage par défaut sous python 3.

J'ai écrit ce petit script pour automatiser tout ça :

for file in $(find chsdi/ -name …

Continue reading

Use udev to setfacl when mounting a usb drive

Posted on 2015-05-31 in Trucs et astuces

Write the line below (and adapt it) in /etc/udev/rules.d/:

SUBSYSTEMS=="block",ACTION=="add",KERNEL=="sd?1",RUN+="/usr/bin/setfacl -m    u:apache:r-x /run/media/jenselme"

Attention: if the path of the command is not absolute, udev will search of it in /usr/lib/udev.


Docker tips

Posted on 2015-05-24 in Trucs et astuces • Tagged with Docker

For my tips about docker compose, go here.

Create an image

docker build -t <name> .

Save and import

docker save <image> > file
docker load < <image>

Run

docker run --name …

Continue reading

Connect to a running docker container

Posted on 2015-03-25 in Trucs et astuces • Tagged with Docker

If you are running docker 1.3 or above, you should use: docker exec -it CONTAINER COMMAND to run COMMAND within the container. You can easily create a function to ease the thing and run bash by default:

dk-enter() {
    docker exec -it "$1" "${2:-/bin/bash}"
}

Otherwies, you can easily …


Continue reading

VirtualBox

Posted on 2015-03-01 in Trucs et astuces • Tagged with VirtualBox, Virtualisation

Transform img disk (qemu) to vdi (Virtual Box)

You need to convert img in raw with qemu-img …


Continue reading

Fusionner deux dépôts git

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 …

Continue reading

Utiliser trap en bash pour pièger des signaux

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 …


Continue reading

Utiliser un service webdav avec curl

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 …


Continue reading

Utiliser git pour gérer les fichiers de configuration de son HOME

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 …


Continue reading