From 9bf39f0c57186ceb3e5cff55ff973fec361074c7 Mon Sep 17 00:00:00 2001
From: Holger Just <hjust@meine-er.de>
Date: Fri, 22 Jul 2011 11:01:12 +0200
Subject: [PATCH] Fix stupid string handling bug

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

diff --git a/.bashrc b/.bashrc
index 9e29acf..ae7f909 100755
--- a/.bashrc
+++ b/.bashrc
@@ -179,7 +179,7 @@ PS1="${debian_chroot:+($debian_chroot)}"
 # Short PWD, if it's to long.
 short_pwd() {
   FIXED_PWD="${PWD/#$HOME/~}"
-  if [[ ${#FIXED_PWD} -gt ${#PWD_LENGTH} ]]; then
+  if [[ ${#FIXED_PWD} -gt $PWD_LENGTH ]]; then
     echo "${FIXED_PWD:0:$((4))}...${FIXED_PWD:$((${#PWD}-$PWD_LENGTH+7)):$(($PWD_LENGTH-7))}"
   else
     echo "$FIXED_PWD"