/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

zzamboni.org
| | blog.kulman.sk
2.0 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...
| | phili.pe
2.3 parsecs away

Travel
| | Personal website of Philipe Fatio
| | purefun.dev
2.7 parsecs away

Travel
| | If you install a new machine and forget to set your email and commiter name, then your Git history will be a tad ugly, with your machine name involved instead of a real email. So how do you set the default? Like this: git config -global user.name "Alice E" git config -global user.email "alice@example.org" Override per repo Ideally, do it before you start committing things. But what if you want different committer names and emails depending on the context?
| | tannerdolby.com
21.1 parsecs away

Travel
| To begin contributing to open-source software, you might want to become familiar with Git. Understanding the workflow of creating your own local copy of a repository and keeping it up to date with the upstream repository is integral to start contributing in public projects.