non-forking read of debian_chroot var
authorJoerg Jaspert <joerg@ganneff.de>
Fri, 22 Mar 2013 10:32:52 +0000 (11:32 +0100)
committerJoerg Jaspert <joerg@ganneff.de>
Fri, 22 Mar 2013 10:32:52 +0000 (11:32 +0100)
.zsh/10_Environment.zsh

index 59441c1..1924bef 100644 (file)
@@ -61,7 +61,7 @@ fi
 
 # set variable debian_chroot if running in a chroot with /etc/debian_chroot
 if [[ -z "$debian_chroot" ]] && [[ -r /etc/debian_chroot ]] ; then
-    debian_chroot="chroot: $(cat /etc/debian_chroot)"
+    debian_chroot="chroot: $(</etc/debian_chroot)"
 fi
 
 # The format of process time reports with the time builtin.