Bug#726265: grub-editenv delete

jidanni at jidanni.org jidanni at jidanni.org
Wed Nov 6 11:39:18 UTC 2013


>>>>> "V'S" == Vladimir 'φ-coder/phcoder' Serbinenko <phcoder at 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.



More information about the Pkg-grub-devel mailing list