Fekir's Blog
Categories
Keywords
About Me
Policies
2023-07-02 : How to get the parent branch in git
2021-12-10 : Toolbox of a GNU/Linux C++ programmer
2021-11-24 : SSH everywhere
2021-09-24 : A minimal C++ development environment
2019-01-20 : Some shell script tricks