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 > > 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 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 debian-bugs-dist-requ...@lis

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 listmas...@list