the whole environment block.
Reported by Dan Jacobson. Fixes Debian bug #726265.
+2013-11-13 Colin Watson <cjwatson@ubuntu.com>
+
+ * util/grub-editenv.c (help_filter, argp): Document how to delete
+ the whole environment block.
+ Reported by Dan Jacobson. Fixes Debian bug #726265.
+
2013-11-13 Colin Watson <cjwatson@ubuntu.com>
* docs/grub.texi (Internationalisation, Supported kernels): Fix
switch (key)
{
case ARGP_KEY_HELP_POST_DOC:
- return xasprintf(text, DEFAULT_ENVBLK_PATH);
+ return xasprintf (text, DEFAULT_ENVBLK_PATH, DEFAULT_ENVBLK_PATH);
default:
return (char *) text;
"\n"N_("\
Tool to edit environment block.")
"\v"N_("\
-If FILENAME is `-', the default value %s is used."),
+If FILENAME is `-', the default value %s is used.\n\n\
+There is no `delete' command; if you want to delete the whole environment\n\
+block, use `rm %s'."),
NULL, help_filter, NULL
};