Contextualize your bash

Load custom bash aliases when entering directory

May 15, 2023 · 3 min

Repair your grub

On the list of bad computer things that happened to me, this one maybe in the top 3

January 7, 2022 · 2 min

Never miss a google meet with systemd

I don’t like to be late at meetings, and I relied heavily on my coworkers to warn me about a meeting starting. Now, I’m working in a fully remote company, and I can’t rely on my coworkers, because they can only message me, and I don’t look at slack/emails all day. So I came up with 1 little script (and 2 systemd units) to automatically launch my meeting 1-2 minutes before it actually starts. ...

March 18, 2021 · 2 min

Going mouseless #1: Git push a new branch

TLDR: install thefuck The Right Tool for the Right Job Using the right tool for the right job is kind of why I can’t decide myself on using one programming language. When it comes to programming, I have the feeling that using the mouse is highly unefficient.1 It really breaks the flow, you are in the process of writing some code, with both your hands on the keyboard, and all of a sudden you grab the mouse to, I don’t know, launch the tests or click on some website you are testing. I don’t like that. ...

February 24, 2020 · 2 min

Login to AWS ECR using systemd

First try without systemd During my previous mission, we used AWS ECR to manage the docker images. Amazon EC2 Container Registry (ECR) is a fully-managed Docker container registry that makes it easy for developers to store, manage, and deploy Docker container images. To be able to store/retrieve docker images, you have to be authenticated. AWS CLI provides a command which takes your credentials and generate a token, authenticating the user for 12 hours. ...

May 7, 2019 · 2 min

HTTPie and json: REST in your terminal

Je suis, comme Emmanuel Bernard, un taré du terminal. Ce que je trouve génial avec cet outil, c’est qu’on n’arrête jamais de découvrir de nouvelles choses. Je vais vous parler de la combinaison de 2 outils pour jouer avec du Rest depuis votre terminal : HTTPie, qui est un “cURL-like tool for humans” json (très mauvais nom), qui est un utilitaire pour travailler sur du json Pour notre exemple on va jouer avec l’API de github, en essayant d’afficher tous les repos docker de l’organisation agileek. ...

April 14, 2015 · 2 min