}
# Strip off all but the file names.
# Remove any site-dependent part of each file name.
- ls="`ls -lG --ignore=.err . \
+ ls="`ls -gG --ignore=.err . \
| sed \
-e '/^total /d' \
-e s,$other_partition_tmpdir/,, \
-e s,$pwd_tmp/,, \
- -e 's/^...............................................//'`"
- ls2="`cd $other_partition_tmpdir && ls -lG --ignore=.err . \
+ -e 's/^......................................//'`"
+ ls2="`cd $other_partition_tmpdir && ls -gG --ignore=.err . \
| sed \
-e '/^total /d' \
-e s,$other_partition_tmpdir/,, \
-e s,$pwd_tmp/,, \
- -e 's/^...............................................//'`"
+ -e 's/^......................................//'`"
echo "($ls) ($ls2)"
# If the command failed, then it must not have changed the files.