diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2024-03-21 08:05:23 +0100 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2024-03-21 08:09:27 +0100 |
| commit | d87c4e1a720f827996c282d0e194850a8903cebe (patch) | |
| tree | 932500fc57e10e89f20932abef9537c4c60e0f3a /pkgs/development/python-modules/rangehttpserver | |
| parent | 20f77aa09916374aa3141cbc605c955626762c9a (diff) | |
digital-ocean: make it easier to use disko
If the user provides a `fileSystems."/".device` option, it should have
higher precedence than the default value.
Same for `loader.grub.devices` (also set by disko internally).
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions