1.1 --- a/l3bashrc	Sat Feb 16 13:41:48 2008 +0200
     1.2 +++ b/l3bashrc	Sat Mar 08 22:36:44 2008 +0200
     1.3 @@ -151,9 +151,12 @@
     1.4                  old_file=\"/tmp/l3-saved-\$\$.\$RANDOM.\$RANDOM\"
     1.5                  /bin/cp -- \"\$1\" \"\$old_file\" 2> /dev/null
     1.6                  $editor_file \"\$@\" || ERR=\$?
     1.7 -                [ -e \"\$old_file\" ] \
     1.8 -                 && diff -u \"\$old_file\" \"\$1\" > \"\$L3_HOME/\$DIFFNAME\" 2> /dev/null \
     1.9 -                 || diff -u /dev/null \"\$1\"  > \"\$L3_HOME/\$DIFFNAME\" 2> /dev/null
    1.10 +                if [ -e \"\$old_file\" ]
    1.11 +                then
    1.12 +                diff -u \"\$old_file\" \"\$1\" > \"\$L3_HOME/\$DIFFNAME\" 2> /dev/null
    1.13 +                else
    1.14 +                diff -u /dev/null \"\$1\"  > \"\$L3_HOME/\$DIFFNAME\" 2> /dev/null
    1.15 +                fi
    1.16                  /bin/rm \"\$old_file\" 2> /dev/null
    1.17                  return \$ERR
    1.18              fi