johnramsden / zedenv-grub

zedenv plugin for GRUB
https://zedenv.readthedocs.io/en/latest/plugins.html#grub
BSD 3-Clause "New" or "Revised" License
11 stars 4 forks source link

Setup tree if run by update-grub #13

Closed johnramsden closed 6 years ago

johnramsden commented 6 years ago

Setup and teardown down the filesystem tree necessary for creating the grub configuration with a ZFS system even when update grub is not run directly by zedenv.

Checks for a PID file to see if zedenv is currently running activate, if it is not, the filesystem tree is set up by the grub generator.

Fixes #12