| 12345678910111213141516171819202122232425262728293031323334353637383940 |
- [user]
- name = Jean-Christophe Bach
- email = jc.bach@imt-atlantique.fr
- signingkey = 0x520E0E85EA19F34E
- [core]
- quotepath = false
- editor = vim
- excludesfile = /home/jcbach/.gitignore_global
- autocrlf = input
- [push]
- default = simple
- [color]
- diff = auto
- status = auto
- branch = auto
- [help]
- autocorrect = 1
- [merge]
- tool = vimdiff
- [credential]
- host = *.telecom-bretagne.eu/
- username = jcbach
- helper = cache
- [filesystem "IcedTea|1.8.0_222|/dev/mapper/vg1-home"]
- timestampResolution = 2001 microseconds
- minRacyThreshold = 12892 microseconds
- [pull]
- rebase = false
- [init]
- defaultBranch = main
- [alias]
- co = checkout
- br = branch --format='%(HEAD) %(color:yellow)%(refname:short)%(color:reset) - %(contents:subject) %(color:green)(%(committerdate:relative)) [%(authorname)]' --sort=-committerdate
- undo = reset HEAD~1 --mixed
- change-commits = "!f() { VAR=$1; OLD=$2; NEW=$3; shift 3; git filter-branch --env-filter \"if [[ \\\"$`echo $VAR`\\\" = '$OLD' ]]; then export $VAR='$NEW'; fi\" $@; }; f"
- #examples of git change-commits:
- #git change-commits GIT_AUTHOR_NAME "old name" "new name" (change the author name)
- #git change-commits GIT_AUTHOR_EMAIL "old@email.com" "new@email.com" HEAD~10..HEAD (change the email for only the last 10 commits)
- #git change-commits GIT_COMMITTER_EMAIL "old@example.com" "new@example.com" (change the committer email)
- tags = tag -l
|
