Explore >> Select a destination


You are here

blog.differentpla.net
| | themythicalengineer.com
1.9 parsecs away

Travel
| | The Big Problem Imagine you have two GitHub accounts: one for personal use and one for work. You might be working on personal projects from your work laptop, but switching between these projects often requires manually updating your GitHub configuration:
| | memo.mx
2.7 parsecs away

Travel
| | Be very carrefull in your setup : any misconfiguration make all the git config to fail silently ! Setup multiple git ssh identities for git Generate your SSH keys as per your git provider documentation. Add each public SSH keys to your git providers acounts. In your ~/.ssh/config, set each ssh key for each repository as in this exemple: Host github.com HostName github.com User git IdentityFile ~/.ssh/github_private_key IdentitiesOnly=yes Host gitlab.com Hostname gitlab....
| | willhaley.com
3.0 parsecs away

Travel
| | This article outlines a process for loading a custom git configuration when in a specific directory tree. This sets up a sort of local git configuration per-directory without needing to alter the global .gitconfig file or any other global git or ssh configurations. See here an example .envrc file. This file would be used by direnv to set per-directory env variables with the direnv shell helper. PATH=$PATH:$(pwd)/bin export GIT_AUTHOR_EMAIL="Email to use for this organization" export GIT_AUTHOR_NAME="Name to use for this organization" export GIT_COMMITTER_EMAIL="Email to use for this organization" export GIT_COMMITTER_NAME="Name to use for this organization" export GIT_SSH="my-special-ssh-command-for-this-organization.sh" Setting GIT_SSH allows for customizin...
| | gist.github.com
16.4 parsecs away

Travel
| GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.