pkill9 wrote 4 years agoRecipients:(address . bug-guix@gnu.org)Message-ID:20210204025751.239bf885@runbox.comCancelling the operation before the grub menu is rebuilt makes it kindof incomplete, as the entries will still be in the GRUB menu but won'twork.
Your commentCommenting via the web interface is currently disabled.To comment on this conversation send an email to 46283@debbugs.gnu.orgTo respond to this issue using the mumi CLI, first switch to itmumi current 46283Then, you may apply the latest patchset in this issue (with sign off)mumi am -- -sOr, compose a reply to this issuemumi composeOr, send patches to this issuemumi send-email *.patchYou may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tagsmumi command -t +confirmed -t +easyOr, remove the moreinfo tag and set the help tagmumi command -t -moreinfo -t +help