Plugin for managing multiple git
profiles.
git clone https://github.com/empresslabs/gitprofiles.plugin.zsh.git $ZSH_CUSTOM/plugins/gitprofiles
~/.zshrc plugins=(... gitprofiles)
zinit light empresslabs/gitprofiles.plugin.zsh
zi light empresslabs/gitprofiles.plugin.zsh
zgenom load empresslabs/gitprofiles.plugin.zsh
zplug empresslabs/gitprofiles.plugin.zsh
Add the following to your .zsh_plugins.txt file for antidote:
empresslabs/gitprofiles.plugin.zshDefine where your profiles are stored
# ~/.zshrc zstyle ":empresslabs:git:profile" path "$HOME/.config/git/profiles"
# ~/.config/git/profiles [profile "default"] name = Bruno Sales email = me@baliestri.dev # signingkey = 1234567890 [profile "work"] name = Bruno Sales email = work@baliestri.dev # signingkey = 1234567890 paths = "/home/baliestri/work" [profile "personal"] name = Bruno Sales email = personal@baliestri.dev # signingkey = 1234567890 paths = "~/personal", "~/src/personal/*", "~/src/mytopsecretproject"
Multiple paths can be defined for a profile, separated by either newline or commas. The paths are processed in the order they are defined, with exact matches taking precedence over wild card matches. Tildes are expanded to ${HOME}.
It is possible to get debug information by setting the GP_DEBUG
environment variable to any value within your current session.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4