Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Managing git profiles #473

Open
fenfir opened this issue Nov 4, 2020 · 4 comments
Open

Managing git profiles #473

fenfir opened this issue Nov 4, 2020 · 4 comments

Comments

@fenfir
Copy link

fenfir commented Nov 4, 2020

I made a tool for managing different git profiles since I use a couple of different github accounts. Is this something that I could create to create a PR for?

https://github.com/fenfir/git_profile

@laur89
Copy link

laur89 commented Nov 4, 2020

Isn't that something that should be managed by local git config?

@fenfir
Copy link
Author

fenfir commented Nov 4, 2020

All of the ways that I have found to use it involve manipulating your ssh config and using fake hostnames github-profile2 for system wide configuration. Which breaks some projects. I'm specifically having issues with go since it pulls most of it's dependencies from github.

This script is a wrapper around git config, but I find it useful to be able to switch accounts with a single command on a global level so I don't need to modify my git configs when I need to switch profiles for a different client.

@fenfir
Copy link
Author

fenfir commented Nov 4, 2020

Plus the ability to have it visible in my prompt so I know which user I'm pulling and committing code with.

@fenfir
Copy link
Author

fenfir commented Nov 4, 2020

I also don't think the management necessarily belongs in this repo, but displaying it in the prompt could.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants