Tag archives for shell
Comment faire simplement un tutoriel vidéo du terminal ?
Parfois, une courte vidéo est bien plus parlante qu'un long texte avec des lignes de code. C'est pourquoi, je me suis récemment mis à la création de tutoriels vidéo sous…
xmlstarlet – manipuler du XML en shell
A l'époque où le JSON est roi, ce billet fait un peu tâche, non ? Pourtant le XML est toujours là, plutôt côté serveur, bien discret. Et même s'il n'est…
HTTPie – un client HTTP plus intuitif
Depuis quelques années, curl est devenu le programme que j'utilise le plus (après mes butineurs). Dans un monde où les APIs sont omni-présentes, c'est un portail vers l'infini et l'au-delà…
jq – manipuler du JSON en shell
JSON par-ci, JSON par-là. Le format de données JSON a conquis le monde du développement. Il a l'avantage d'être lisible par les humains et il est supporté par la plupart…
ConEmu – une console avancée sous MS Windows
Il y a quelques temps, nous avions découvert Console2. Passer du terminal par défaut de Windows à ce dernier était une première révolution ! Cependant, suite à une mise à…
Bash – set -xe pour un développement plus rapide
Lorsque l'on écrit des scripts shell de provision, leur validation peut se révéler très longue. Et l'analyse de l'erreur initiale n'est pas toujours facile. Pourtant, le bash propose la commande…
Console2 – enfin une console pour MS Windows
Si votre poste de développement tourne sous MS Windows, la console de ligne de commande par défaut n'est pas l'outil qui permet la plus grande productivité. Il existe bien Cygwin…
Créer un dépôt git sur un mutualisé OVH
Ça fait un petit moment que je cherche à avoir une gestion de configuration locale et distante avec un accès privé. Git permet de faire de la gestion de configuration…
Shell – grep récursif et alternatives
Le programme grep est un outil très utile pour chercher par exemple tous les fichiers sources qui font référence à telle ou telle fonction. Néanmoins l'option permettant de faire une…