mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-01-30 02:44:42 +01:00
Merge remote-tracking branch 'plalloni/master'
This commit is contained in:
commit
fbda3cdedc
2 changed files with 3 additions and 1 deletions
|
|
@ -1,7 +1,7 @@
|
|||
if [[ "$DISABLE_CORRECTION" == "true" ]]; then
|
||||
return
|
||||
else
|
||||
setopt correct_all
|
||||
setopt correct
|
||||
alias man='nocorrect man'
|
||||
alias mv='nocorrect mv'
|
||||
alias mysql='nocorrect mysql'
|
||||
|
|
|
|||
|
|
@ -17,6 +17,8 @@ alias gds='git diff --staged'
|
|||
compdef _git gds=git-diff
|
||||
gdv() { git diff -w "$@" | view - }
|
||||
compdef _git gdv=git-diff
|
||||
alias gds='git diff --staged'
|
||||
compdef _git gds=git-diff
|
||||
alias gc='git commit -v'
|
||||
compdef _git gc=git-commit
|
||||
alias gc!='git commit -v --amend'
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue