Re: [PATCH 1/2] system: Rename grub to bootloader.

guix-devel

From:	David Craven
Subject:	Re: [PATCH 1/2] system: Rename grub to bootloader.
Date:	Tue, 10 Jan 2017 19:51:07 +0100

These three files should be bootloader agnostic. This doesn't make
them that yet, but it is a first step in that direction.

Current Thread

[Next in Thread]

[PATCH 1/2] system: Rename grub to bootloader., David Craven, 2017/01/10
- [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader., David Craven, 2017/01/10
  - Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader., Danny Milosavljevic, 2017/01/10
    - Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader., David Craven, 2017/01/11
- Re: [PATCH 1/2] system: Rename grub to bootloader., David Craven <=
  - Re: [PATCH 1/2] system: Rename grub to bootloader., Ludovic Courtès, 2017/01/12
    - Re: [PATCH 1/2] system: Rename grub to bootloader., David Craven, 2017/01/12
    - Re: [PATCH 1/2] system: Rename grub to bootloader., Ludovic Courtès, 2017/01/14
    - Re: [PATCH 1/2] system: Rename grub to bootloader., Chris Marusich, 2017/01/13
- Re: [PATCH 1/2] system: Rename grub to bootloader., Danny Milosavljevic, 2017/01/10