.bashrc
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"
+}
+