Git: Add gre.
This commit is contained in:
parent
2c6c123569
commit
f98d53834d
|
@ -151,6 +151,14 @@ function grs() {
|
||||||
git restore --staged "${target}"
|
git restore --staged "${target}"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
# Restore changes.
|
||||||
|
# Usage: gre [FILES]
|
||||||
|
function gre() {
|
||||||
|
local target=${@}
|
||||||
|
[[ ${target} == "" ]] && target="."
|
||||||
|
git restore "${target}"
|
||||||
|
}
|
||||||
|
|
||||||
# Run git garbage collection.
|
# Run git garbage collection.
|
||||||
function ggc() {
|
function ggc() {
|
||||||
git gc --aggressive --no-cruft --prune=now
|
git gc --aggressive --no-cruft --prune=now
|
||||||
|
|
Loading…
Reference in a new issue