pb with completion.

[DEMAINE Benoit-Pierre]

I am using grub (GNU GRUB 0.94)
and after writing

grub> kernel (hd0,0)

there is no completion ... grun put the ")", but never add the following "/"
I met many ppl just starting with grub who did not knew they had to put a
/ after the ), so please either make the completion do it, or make grub
print a message saying that most people might want to add a "/" .

--
DEMAINE Benoit-Pierre
http://www.demaine.info
PGP :
A78E 3E69 1E44 8CF3 3F4E  8AEF 1964 932D B392 C3C2
There're 10 types of people: those who can count in binary and those who
can't