URL:
<http://savannah.gnu.org/bugs/?38308>
Summary: Remove unset variable from environment block
Project: GNU GRUB
Submitted by: ulfzibis
Submitted on: Mo 11 Feb 2013 19:45:06 GMT
Category: None
Severity: Major
Priority: 5 - Normal
Item Group: Software Error
Status: None
Privacy: Public
Assigned to: None
Originator Name: Ulf Zibis
Originator Email: [email protected]
Open/Closed: Open
Discussion Lock: Any
Release:
Release: Bazaar - trunk
Reproducibility: Every Time
Planned Release: None
_______________________________________________________
Details:
Following commands should remove variable from environment block:
unset [name]
save_env [name]
, like
grub-editenv - unset [name]
does.
This is to prevent environment block from overflow by no-more needed variables
and to again fulfil requests like:
if [ ! "${name}" ]; then ... fi
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?38308>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-grub
