SuperITMan links
Tag cloud
Picture wall
Daily
RSS Feed
  • RSS Feed
  • Daily Feed
  • Weekly Feed
  • Monthly Feed
Filters

Links per page

  • 20 links
  • 50 links
  • 100 links

Filters

Untagged links
Comment avoir plusieurs profils Git ? | vmaerten's blog https://vmaerten.io/posts/comment-avoir-plusieurs-profils-git/
Mon Dec 4 00:02:19 2023
QRCode
cluster icon
  • Et merde, Git!?! : Liste de tutos pour résoudre des problèmes fréquemment rencontrés avec git
  • Configuration git - Tiger-222 : Partage d'une configuration git
  • DVCS migration HOWTO : Still about reposurgeon. Link to the migration Guide :-)
  • Group Addresses – KNX Association :
  • sourcehut hub : Platform with some nice open source projects! Libre, not like Github 😉
thumbnail

À configurer absolument pour mes projets open source.

/!\ configurer un path insensitive !!!

[includeIf "gitdir/i:c:/path/subpath/GitHub/"]
path = c:/Users/username/.gitconfigs/git-github.conf

Ne pas oublier le /i après "gitdir:" --> "gitdir/i:"

Meilleur exemple sur https://medium.com/@mrjink/using-includeif-to-manage-your-git-identities-bcc99447b04b

[includeIf "gitdir:C:/SOURCE/PERSONAL/"]
path = .gitconfig-personal
[includeIf "gitdir:C:/SOURCE/COMPANY1/"]
path = .gitconfig-company1
[includeIf "gitdir:C:/SOURCE/COMPANY2/"]
path = .gitconfig-company2

git knowledge trick
836 links, including 77 private
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn