diff options
Diffstat (limited to 'topics/systems/virtuoso.gmi')
| -rw-r--r-- | topics/systems/virtuoso.gmi | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/topics/systems/virtuoso.gmi b/topics/systems/virtuoso.gmi index 1b1bbc7..8e28b0f 100644 --- a/topics/systems/virtuoso.gmi +++ b/topics/systems/virtuoso.gmi @@ -22,11 +22,7 @@ Here is a basic guix system configuration that runs virtuoso listening on port 8 (bootloader (bootloader-configuration (bootloader grub-bootloader) (targets (list "/dev/sdX")))) - (file-systems (cons (file-system - (device "root") - (mount-point "/") - (type "ext4")) - %base-file-systems)) + (file-systems %base-file-systems) (users %base-user-accounts) (packages %base-packages) (services (cons (service virtuoso-service-type |