changeset 888 | ec96d18f51b0 |
parent 884 | e400725dd13d |
child 892 | 5bb386e5dbf6 |
--- a/.bashrc Mon Dec 04 18:24:13 2017 +0200 +++ b/.bashrc Tue Jan 09 14:40:13 2018 +0200 @@ -236,3 +236,9 @@ printf '\n\n\e[31mtotal:\e[0m ' ag --nofilename --count -- "$1" | awk '{c += $1} END {print c}' } + +mygit-date() { + echo GIT_COMMITTER_DATE='"'"$1"'"' git commit --amend --no-edit --date '"'"$1"'"' + GIT_COMMITTER_DATE="$1" git commit --amend --no-edit --date "$1" +} +