Bug#726265: grub-editenv delete

jidanni at jidanni.org jidanni at jidanni.org
Sun Oct 13 23:31:55 UTC 2013

Previous message: Bug#726263: Please don't use old title `Debian GNU/Linux, with Linux...
Next message: Bug#726264: grub-set-default seems not to be documented on (info "(grub) Simple configuration")
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Package: grub-common
Version: 2.00-19
Severity: wishlist
File: /usr/bin/grub-editenv

There is create, but no delete.

P.S., the info page mentioned is missing.

Previous message: Bug#726263: Please don't use old title `Debian GNU/Linux, with Linux...
Next message: Bug#726264: grub-set-default seems not to be documented on (info "(grub) Simple configuration")
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-grub-devel mailing list