From: Saku Laesvuori <saku@laesvuori.fi>
To: "hubert.lombard@ik.me" <hubert.lombard@ik.me>
Cc: Help Guix <help-guix@gnu.org>,
Richard Sent <richard@freakingpenguin.com>
Subject: Re: hurd-vm-service-type into /etc/config.scm
Date: Tue, 9 Apr 2024 12:01:54 +0300 [thread overview]
Message-ID: <bxmlwuy4jmifg24rsbt4lv662l7xjnwkw26aj4aogbtza4kbsy@bwxmkwikujn2> (raw)
In-Reply-To: <53bcda350d3967abb7d6e23d2953ba45@mail.infomaniak.com>
[-- Attachment #1: Type: text/plain, Size: 14350 bytes --]
On Sat, Mar 30, 2024 at 09:25:32PM +0100, hubert.lombard@ik.me wrote:
> Hi Saku, thanks a lot for your answer,
>
> Have tried to modify some settings about my e-mail client...
Unfortunately that seems to not have fixed the problem. I am still
seeing blank lines between every line of text. This time also the
quotation levels ('>' characters at the beginning of the line) are also
off: some new text you wrote is multiple quotations in. I won't fix them
in this message so you can see more clearly what I'm talking about.
>> Le 2024-03-28T07:58:43.000+01:00, Saku Laesvuori <saku@laesvuori.fi>
>> a écrit :
>>> On Wed, Mar 27, 2024 at 11:21:11AM +0100, hubert.lombard@ik.me wrote:
>>>> Hello o/
>>>>
>>>> Further investigations to insert the hurd-vm in /etc/config.scm
>>>> In my attempt at config.scm, inspired both by my own file and from
>>>> examples found on the Internet, I've tried to use (define %my-gnome as
>>>> well and (modify-services %desktop-services, knowing that I'm missing at
>>>> least 1 module related to the package list. I've tried several, but I
>>>> can't
>>>>
>>>> figure out which one (or which...)
>>>>
>>>> $ sudo guix system reconfigure /etc/config.scm
>>>>
>>>> --8<---------------cut
>>>> here---------------start------------->8---
>>>>
>>>> ce-9/eval.scm:223:20: In procedure proc:
>>>>
>>>> erreur : packages : variable non liée
>>>>
>>>> conseil : Auriez-vous oublié un `use-modules' ?
>>>>
>>>> --8<---------------cut
>>>> here---------------end--------------->8---
>>>>
>>>> As I only use Guix System, I'm aware that I'd better build
>>>> myself a a
>>>>
>>>> virtual machine to test this kind of configuration. Secondly,
>>>> I'm also
>>>>
>>>> aware that even if my (use-modules) field was satisfied, there
>>>> might
>>>>
>>>> still be other problems...
>>>>
>>>> Here's the failing test, what do you think?
>>>>
>>>> /etc/config.scm
>>>>
>>>> --8<---------------cut
>>>> here---------------start------------->8---
>>>>
>>>> (use-modules
>>>>
>>>> (gnu)
>>>>
>>>> (gnu services)
>>>>
>>>> (gnu services base)
>>>>
>>>> (gnu packages gnome)
>>>>
>>>> (gnu packages)
>>>>
>>>> (gnu packages base)
>>>>
>>>> (gnu system nss)
>>>>
>>>> (guix utils)
>>>>
>>>> (gnu services cups)
>>>>
>>>> (gnu packages certs)) ;;Maybe some modules not relevant here
>>>> ?...
>>>>
>>>> (use-service-modules desktop networking ssh xorg cups
>>>> virtualization sound)
>>>>
>>>> (use-package-modules bootloaders certs cups gnome xorg linux
>>>> vim scanner screen ssh wm audio)
>>>>
>>>> (operating-system
>>>>
>>>> (locale "fr_FR.utf8")
>>>>
>>>> (timezone "Europe/Paris")
>>>>
>>>> (keyboard-layout (keyboard-layout "fr"))
>>>>
>>>> (host-name "gnu")
>>>>
>>>> (users
>>>>
>>>> (cons* (user-account
>>>>
>>>> (name "hubert")
>>>>
>>>> (comment "Hubert")
>>>>
>>>> (group "users")
>>>>
>>>> (home-directory "/home/hubert")
>>>>
>>>> (supplementary-groups
>>>>
>>>> '("wheel" "netdev" "audio" "video" "kvm" "lp" "cdrom"
>>>> "scanner")))
>>>>
>>>> %base-user-accounts))
>>>>
>>>> (bootloader (bootloader-configuration
>>>>
>>>> (bootloader grub-efi-bootloader)
>>>>
>>>> (targets (list "/boot/efi"))
>>>>
>>>> (keyboard-layout keyboard-layout)))
>>>>
>>>> (swap-devices
>>>>
>>>> (list (swap-space
>>>>
>>>> (target (uuid "527ab16b-d20c-4269-bc6f-8910ef3f8c5e")))))
>>>>
>>>> (file-systems
>>>>
>>>> (cons* (file-system
>>>>
>>>> (mount-point "/boot/efi")
>>>>
>>>> (device (uuid "1C82-1420" 'fat32))
>>>>
>>>> (type "vfat"))
>>>>
>>>> (file-system
>>>>
>>>> (mount-point "/")
>>>>
>>>> (device (uuid "e4fb3e05-b455-40db-bc59-4d4d011e1e01" 'ext4))
>>>>
>>>> (type "ext4"))
>>>>
>>>> %base-file-systems)))
>>>>
>>>> (packages
>>>>
>>>> (append
>>>>
>>>> (list nss-certs ;for HTTPS access
>>>>
>>>> vim ;some tools expect it to be there
>>>>
>>>> gvfs ;for user mounts
>>>>
>>>> openssh
>>>>
>>>> cups
>>>>
>>>> foomatic-filters
>>>>
>>>> hplip
>>>>
>>>> sane-backends
>>>>
>>>> ijs
>>>>
>>>> ghostscript)
>>>>
>>>> %base-packages))
>>>>
>>>> (define %my-gnome
>>>>
>>>> (package
>>>>
>>>> (inherit gnome)
>>>>
>>>> (name "my-gnome")
>>>>
>>>> (propagated-inputs
>>>>
>>>> (modify-inputs (package-propagated-inputs gnome)
>>>>
>>>> (delete "epiphany")
>>>>
>>>> (delete "evolution")
>>>>
>>>> (delete "gnome-weather")
>>>>
>>>> (delete "simple-scan")
>>>>
>>>> (delete "gnome-maps")
>>>>
>>>> (delete "gnome-boxes")
>>>>
>>>> (delete "gnome-console")
>>>>
>>>> (delete "gnome-contacts")
>>>>
>>>> (append gnome-terminal))))
>>>>
>>>> %my-gnome)
>>>
>>> I suspect this define here. Firstly, it should be outside the
>>>
>>> operating-system record. Here it means a field named 'define'
>>> which is
>>>
>>> clearly not intended.
>>>
>>>
>>>
>>>
>>>
>>>
>>> Yes, on rereading my file, I understand that this
>>> "define" field
>>>
>>> is out of place.
>>>
>>>
>>>
>>>
>>>
>>>
>>> The %my-gnome at the end will also
>>> cause problems
>>>
>>> later as now %my-gnome is defined as a package record (that is not
>>>
>>> stored anywhere) and as %my-gnome, which will cause nonterminating
>>> and
>>>
>>> useless recursion. You might also have to import (guix packages)
>>> to
>>>
>>> construct package records.
>>>
>>>
>>>
>>>
>>>
>>>
>>> Good to know. I've put back my original
>>> "/etc/config.scm", I'm
>>>
>>> more at peace that way. It's the one
>>> from the graphic installation of
>>>
>>> Guix System 1.4
>>
>> It's a fairly minimal file.I think there must be a way of inserting
>> the
>>
>> "(service hurd-vm-service-type" service without too much difficulty.
>>
>> My attempt was too risky :) All suggestions will be studied...
Luckily Guix is a great operating system for risky attempts due to
atomic updates and full system roll back.
I haven't tried this myself, but it should be possible by just adding the
following block (copied from the manual and increased the sizes to be
more useful) after the line with `(service cups-service-type)` (for
example, that line isn't special in any other way except that it is
inside the service list):
```
(service hurd-vm-service-type
(hurd-vm-configuration
(disk-size (* 10 (expt 2 30))) ; 10 GiB
(memory-size 2048))) ; 2048 MiB
```
>> my current /etc/config.scm
>>
>> --8<---------------cut here---------------start------------->8---
>>
>> (use-modules (gnu) (gnu services base))
>>
>> (use-service-modules cups desktop networking ssh xorg audio sound
>> dbus virtualization)
>>
>> (operating-system
>>
>> (locale "fr_FR.utf8")
>>
>> (timezone "Europe/Paris")
>>
>> (keyboard-layout (keyboard-layout "fr"))
>>
>> (host-name "gnu")
>>
>> ;; La liste des comptes utilisateurs (« root » est implicite).
>>
>> (users (cons* (user-account
>>
>> (name "hubert")
>>
>> (comment "Hubert")
>>
>> (group "users")
>>
>> (home-directory "/home/hubert")
>>
>> (supplementary-groups '("wheel"
>> "netdev" "audio" "video" "kvm" "lp")))
>>
>> %base-user-accounts))
>>
>> ;; Paquets installés pour tout le système. Les utilisateurs et
>> utilisatrices peuvent aussi installer des paquets
>>
>> ;; sous leur propre compte : utilisez « guix search MOT-CLÉ »
>> pour chercher
>>
>> ;; des paquets et « guix install PAQUET » pour installer un
>> paquet.
>>
>> (packages (append (list (specification->package "nss-certs"))
>>
>> %base-packages))
>>
>> ;; Voici la liste des services du système. Pour trouver les
>> services disponibles,
>>
>> ;; lancez « guix system search MOT-CLÉ » dans un terminal.
>>
>> (services
>>
>> (append (list (service gnome-desktop-service-type)
>>
>> (service bluetooth-service-type
>>
>> (bluetooth-configuration
>>
>> (auto-enable? #t)))
>>
>> (service cups-service-type)
>>
>> (set-xorg-configuration
>>
>> (xorg-configuration
>> (keyboard-layout keyboard-layout))))
>>
>> ;; Voici la liste des services par
>> défaut à laquelle nous
>>
>> ;; ajoutons nos propres services.
>>
>> %desktop-services))
>>
>>
>>
>> (bootloader (bootloader-configuration
>>
>> (bootloader grub-efi-bootloader)
>>
>> (targets (list "/boot/efi"))
>>
>> (keyboard-layout keyboard-layout)))
>>
>> (swap-devices (list (swap-space
>>
>> (target (uuid
>>
>>
>> "527ab16b-d20c-4269-bc6f-8910ef3f8c5e")))))
>>
>> ;; La liste des systèmes de fichiers qui seront « montés ».
>> Les identifiants
>>
>> ;; de systèmes de fichiers uniques (« UUIDs ») qui se trouvent
>> ici s'obtiennent
>>
>> ;; en exécutant « blkid » dans un terminal.
>>
>> (file-systems (cons* (file-system
>>
>> (mount-point
>> "/boot/efi")
>>
>> (device (uuid
>> "1C82-1420"
>>
>>
>> 'fat32))
>>
>> (type "vfat"))
>>
>> (file-system
>>
>> (mount-point "/")
>>
>> (device (uuid
>>
>>
>> "e4fb3e05-b455-40db-bc59-4d4d011e1e01"
>>
>>
>> 'ext4))
>>
>> (type "ext4"))
>> %base-file-systems)))
>>
>> --8<---------------cut here---------------end--------------->8---
>>
>> Thanks again Saku, thanks for all, Guix
>>
>> o/
>
>Hubert
>
>
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2024-04-09 9:02 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-03-12 18:33 hurd-vm-service-type into /etc/config.scm hubert.lombard@ik.me via
2024-03-16 15:07 ` Richard Sent
2024-03-18 14:52 ` hubert.lombard@ik.me via
2024-03-19 7:37 ` Saku Laesvuori
2024-03-20 9:55 ` hubert.lombard@ik.me via
2024-03-27 10:21 ` hubert.lombard@ik.me via
2024-03-28 6:58 ` Saku Laesvuori
[not found] ` <10aacff482f8f87b3cbff2b645758e9c@mail.infomaniak.com>
2024-03-30 20:25 ` hubert.lombard@ik.me via
2024-04-09 9:01 ` Saku Laesvuori [this message]
2024-04-10 21:08 ` hubert.lombard
2024-04-11 5:50 ` Saku Laesvuori
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=bxmlwuy4jmifg24rsbt4lv662l7xjnwkw26aj4aogbtza4kbsy@bwxmkwikujn2 \
--to=saku@laesvuori.fi \
--cc=help-guix@gnu.org \
--cc=hubert.lombard@ik.me \
--cc=richard@freakingpenguin.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).