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

Gestion des groupes sous Linux

La gestion des groupes sous Linux est quelque chose que je pratique rarement. Je profite donc de cet article pour rappeler comment cela se gère. Création d'un groupe utilisateur Pour cela rien de très compliqué : groupadd <nomdugroupe> Suppression d'un groupe utilisateur Très simple également : groupdel <nomdugroupe>…

Lire la suite