From 0b81ef0f6806abb7b45b29db8c2513d75e04a453 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Tue, 18 Jun 2019 17:29:52 +0000
Subject: [PATCH] Add timer alias

---
 dotfiles/.bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc
index 3f58866..96f5809 100644
--- a/dotfiles/.bashrc
+++ b/dotfiles/.bashrc
@@ -138,7 +138,7 @@ bashrc_customize_aliases() {
     alias mpath='echo $MANPATH | tr -s ":" "\n"'
 
     alias myip="dig +short myip.opendns.com @resolver1.opendns.com"
-
+    alias timer='echo "Timer started. Stop with Ctrl-D." && date && time cat && date'
     alias tree="tree -F --dirsfirst"
 }