Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix grub_menuentry issues #56

Merged
merged 1 commit into from
Apr 28, 2020

Conversation

trevor-vaughan
Copy link
Contributor

  • Fix legacy GRUB issue due to missing updates to the provider (test
    node had been commented out)
  • Fix processing of the menuentry generation in GRUB2

Fixes #53

* Fix legacy GRUB issue due to missing updates to the provider (test
  node had been commented out)
* Fix processing of the menuentry generation in GRUB2

Fixes voxpupuli#53
@trevor-vaughan trevor-vaughan added the bug Something isn't working label Apr 28, 2020
@coveralls
Copy link

Coverage Status

Coverage increased (+1.4%) to 95.402% when pulling c2c2f2d on trevor-vaughan:fix_menuentry_failures into 316d747 on hercules-team:master.

@raphink raphink merged commit eb5c38e into voxpupuli:master Apr 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

grub_menuentry resource fail if directory /boot/grub doe not exist
3 participants