git: clean-config - also unset core.ignorecase
This commit is contained in:
parent
fc078c91bc
commit
9ed53e5e62
|
@ -16,7 +16,7 @@ Use `squashfs2tar.sh` to convert squashfs files from e.g. https://cloud-images.u
|
|||
## Git aliases
|
||||
|
||||
- `git clean-branches` - delete local branches that track remote branches that have been deleted
|
||||
- `git clean-config` - unset `core.filemode` on this repo, so global (`core.filemode = false`) will be used
|
||||
- `git clean-config` - unset miscellaneous local config values on this repo, so global config will be used
|
||||
- `git clean-dates` - set all committer dates of all commits in the given range to their author dates
|
||||
- `git clean-modes` - reset all file modes to to those according to the repository
|
||||
- `git clean-original` - delete all `refs/original/` refs left by `git filter-branch`
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
[alias]
|
||||
clean-branches = !git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs -r git branch -D
|
||||
clean-config = config --unset-all core.filemode
|
||||
clean-config = "!git config --unset-all core.filemode; git config --unset-all core.ignorecase;"
|
||||
clean-dates = filter-branch --env-filter 'GIT_COMMITTER_DATE="$GIT_AUTHOR_DATE"' --
|
||||
clean-modes = !git -c core.filemode diff -R | grep -E '^(diff|(old|new) mode)' | git apply
|
||||
clean-original = !git show-ref | grep ' refs/original/' | cut -d ' ' -f 2 | xargs -r -n 1 git update-ref -d
|
||||
|
|
Loading…
Reference in New Issue