Bug#726265: grub-editenv delete

2013-11-12 Thread Colin Watson
Control: tag -1 fixed-upstream On Wed, Nov 06, 2013 at 07:39:18PM +0800, jida...@jidanni.org wrote: V'S == Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com writes: There is create, but no delete. V'S Just use rm. There is no need to have such a command OK wish the man page

Bug#726265: grub-editenv delete

2013-11-06 Thread jidanni
V'S == Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com writes: There is create, but no delete. V'S Just use rm. There is no need to have such a command OK wish the man page mentioned that. P.S., the info page mentioned is missing. -- To UNSUBSCRIBE, email to

Bug#726265: grub-editenv delete

2013-11-04 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 14.10.2013 01:31, jida...@jidanni.org wrote: Package: grub-common Version: 2.00-19 Severity: wishlist File: /usr/bin/grub-editenv There is create, but no delete. Just use rm. There is no need to have such a command P.S., the info page mentioned is missing.

Bug#726265: grub-editenv delete

2013-10-13 Thread jidanni
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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact