--- append_db.orig Sun Dec 3 11:06:24 1995 +++ append_db Sun Dec 3 10:58:45 1995 @@ -53,7 +53,7 @@ fi # we need to escape / in the dirname for ed, as wee search for it with /../. -ed $db_file > /dev/null 2>&1 <<-eof +ex $db_file > /dev/null 2>&1 <<-eof /^`echo $dir | sed 's@/@\\\\/@g;s/\\./\\\\./g'`:\$/a $file . @@ -63,6 +63,7 @@ if [ $? != 0 ]; then cat >> $db_file <<-eof + $dir: $file eof