Currently help output of search says that --file option is the default but a `search /file' fails with `unspecified search type'. So which behaviour do we want?
-- Felix Zielcke Proud Debian Maintainer _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
