Matt DeVillier de0ce98da3 etc/functions, gpg-gui: Filter boot device options with '/dev/' ...

Grepping on just 'Disk' can lead to disk UUID identifier strings
being added to /tmp/disklist, which then fail to parse later on.
Avoid this by grepping on 'Disk /dev' instead.

Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>

2021-10-15 14:42:15 -04:00

..

distro/keys

Adding qubes-test distro public key to test QubesOS ISOs from https://qubes.notset.fr/iso/. Fixes https://github.com/osresearch/heads/issues/1010

2021-07-26 10:21:36 -04:00

fstab

fix typos in efivarfs

2018-02-08 17:25:32 -05:00

functions

etc/functions, gpg-gui: Filter boot device options with '/dev/'

2021-10-15 14:42:15 -04:00

group

Build the Heads/NERF firmware for the Dell R630 server.

2017-09-20 10:29:14 -04:00

gui_functions

gui*: Improve consistency of background color use

2021-10-15 14:42:15 -04:00

hosts

localhost should be defined

2018-02-09 12:05:49 -05:00

motd

restore /etc/motd

2018-03-08 01:14:41 -05:00

mtab

add /etc/fstab and /etc/mtab to initrd image

2017-04-10 12:59:24 -04:00

passwd

enable qemu networking and ssh key login (#312)

2018-02-09 13:42:52 -05:00

shells

Build the Heads/NERF firmware for the Dell R630 server.

2017-09-20 10:29:14 -04:00