I don't know if you want to make this tiny change, but:

$ mv foo
mv: missing destination file operand after `/u/karl/tmp/paper.ltx'

The destination operand doesn't have to be a file, it is often a
directory.  So I suggest deleting "file".  Not that I will argue if you
decide not to :).

karl


_______________________________________________
Bug-coreutils mailing list
Bug-coreutils@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-coreutils

Reply via email to