From 1808f69405a0e5d5a8bed1343f62fa8760a0add4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Mah=C3=A9?= <mahe@rhrk.uni-kl.de>
Date: Sat, 18 Jan 2014 16:11:29 +0100
Subject: [PATCH] Use builtins when possible

a call to cat can be replaced by a redirection.
---
 liquidprompt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/liquidprompt b/liquidprompt
index 60b507c..363bbe1 100755
--- a/liquidprompt
+++ b/liquidprompt
@@ -1,4 +1,3 @@
-
 ################################################################################
 # LIQUID PROMPT
 # An intelligent and non intrusive prompt for bash and zsh
@@ -465,7 +464,7 @@ _chroot()
 {
     if [[ -r /etc/debian_chroot ]] ; then
         local debchroot
-        debchroot="$(cat /etc/debian_chroot)"
+        debchroot="$(< /etc/debian_chroot)"
         echo "(${debchroot})"
     fi
 }