Explore >> Select a destination


You are here

raphael.medaer.me
| | blog.kulman.sk
5.4 parsecs away

Travel
| | I use the same machines to work on both personal and work projects. I usually have to use a different Git identity for the work projects than for my personal projects. Previously I had my personal Git identity set globally and then used local Git configs to override it in work projects. This worked just fine but it was too much work. There is a better solution. Git config allows you to use, or better to say include, another Git config for a specific directory and all its subdirectories. I have all my pro...
| | jinyuz.dev
5.8 parsecs away

Travel
| | Suppose that you have a full time job at Amazon, and you want to separate your git commit emails from Amazon and your personal projects. Setting up ~/.gitconfig $ touch ~/.gitconfig For our personal projects, we will use the ~/.gitconfig file with the following content: [user] name = James Banned email = james.banned@gmail.com [includeIf "gitdir:~/Work/"] path = ~/.gitconfig.work The includeIf basically means that include this config if I'm inside the ~/Work/ directory.
| | thork.net
37.5 parsecs away

Travel
| | GM! Just a short note describing a recent new project of mine, git merkle (gm)! gm is a recursive tree of all the repos I've worked on since 2017 after a little spring cleaning; I removed about 40% of my pre-existing github repo history in the process of writing gm.
| | www.morling.dev
69.4 parsecs away

Travel
| As a software engineer, I like to automate tedious tasks as much as possible. The deployment of this website is no exception: it is built using the Hugo static site generator and hosted on GitHub Pages; so wouldn't it be nice if the rendered website would automatically be published whenever an update is pushed to its source code repository?