Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 29566ca02190
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: c14f14eeaf91
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Sep 9, 2020

  1. nixos/grub: allow multiple "nodev" devices for mirroredBoots 

    For UEFI setups, "device" will generally be the special value "nodev"
which represents not running grub-install at all. Using "nodev" for
boot mirrors should therefore be allowed.
    @lheckemann
    lheckemann committed Sep 9, 2020
    Copy the full SHA
    fdd9445 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. Merge pull request #97505 from mayflower/grub-efi-mirroredboot 

    nixos/grub: allow multiple "nodev" devices for mirroredBoots
    @lheckemann
    lheckemann committed Dec 4, 2020
    Copy the full SHA
    c14f14e View commit details
    Browse the repository at this point in the history