Bug#726265: grub-editenv delete
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 mentioned that. I've committed a small documentation tweak upstream for this. -- Colin Watson [cjwat...@debian.org] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#726265: grub-editenv delete
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 debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#726265: grub-editenv delete
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. ___ Pkg-grub-devel mailing list pkg-grub-de...@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-grub-devel signature.asc Description: OpenPGP digital signature
Bug#726265: grub-editenv delete
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...@lists.debian.org