Other articles

  1. Fusionner deux dépôts git

    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 …
    read more
  2. Un shell pour pelican

    Comme je l'ai déjà dit ici, mon blog est géré par Pelican. Il est également placé sous gestion de version. Pour régénérer automatiquement après chaque modification la version html des pages, il faut utiliser la commande make regenerate. Pour lancer le serveur de test pour voir les pages, on utilise …

    read more
  3. Utiliser trap en bash pour pièger des signaux

    Mise à jour 2017-09-96: ajout d'un exemple d'utilisation des noms des signaux. Merci à Thomas et Lokta.

    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 …

    read more
  4. Utiliser un service webdav avec 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 …

    read more
  5. Petit précis de shell

    Le shell (POSIX, ie sans les améliorations de Bash ou zsh) est un langage assez particulier qu’on ne connaît pas forcément. Le but de ce document est de rappeler (ou donner) quelques bases du langage, de rappeler les différences notables avec bash. Je propose dans un autre article quelques …

    read more
  6. Zsh, c'est trop cool

    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 …

    read more

Page 1 / 1

blogroll

social

>