VIM expliqué à ma grand-mère

Il y a quelques mois, j'ai pu proposer à l'association ARU2L une conférence sur le bien connu, mais peu maîtrisé, éditeur de texte Vim. Cette conférence a été filmée. Je vous en fais donc profiter ici. Bon visionnage !…

Lire la suite

Modifier l'extension d'une url avec NGinX

Dans le cas présent, je souhaiterais rediriger tous les appels aux url finissant par *.html vers la même url mais sans extension. Exemple : www.skitoo.net/unepage.html vers www.skitoo.net/unepage/ Pour celà voici la petite astuce qui permet de réaliser cette redirection : location ~ \.html$ { rewrite ^/(.*)\.html$ /$1…

Lire la suite

Convertir un objet datetime Python en timestamp

Voila un truc que j'arrive jamais à me souvenir : comment convertir un objet datetime Python en timestamp. Voici le petit bout de code qui permet de faire ça : import datetime import time now = datetime.datetime.now() # on récupère la date actuelle timestamp = time.mktime(now.timetuple()) # on effectue la convertion…

Lire la suite

Raccourcis clavier sous Bash

Aujourd'hui je vais vous dresser une liste la plus complète possible des raccourcis clavier disponibles sous Bash. Une fois maîtrisé, ils deviennent vite indispensable pour gagner du temps lors de vos sessions sur console Linux. Ctrl + a : Déplace votre curseur en début de ligne Ctrl + e : Déplace votre curseur en…

Lire la suite