From 41d5a13c5d75313d4effc078362636db47e3ece2 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Mon, 27 Jun 2016 14:11:38 +0200
Subject: [PATCH] +latex coloring

---
 .bashrc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.bashrc b/.bashrc
index b98d13d..fa0a839 100644
--- a/.bashrc
+++ b/.bashrc
@@ -227,6 +227,13 @@ function cpy()
     $@ 2>&1  | colout -t python
 }
 
+function ctex()
+{
+    set -o pipefail
+    $@ 2>&1  | colout -t latex
+}
+
+
 # shortcut to display the url config of remote repo in a git root
 alias git_remotes="grep -A 2 \"\[remote\" .git/config|grep -v fetch|sed \"s/\[remote \\\"//\"|sed ':a;N;\$!ba;s/\"\]\n\s*url = /\t/g'"