Guix cookbook (was: guile scheme tutorial)

2019-05-08 Thread Ricardo Wurmus
Pierre Neidhardt writes: > A well written manual might not be the only answer we are looking for. How > do we teach complex concepts in schools? With examples and exercises. > Maybe we should do that. Blog articles could be a good fit. I’m not a fan of blog posts for teaching, because they

Re: Any questions yet

2019-05-08 Thread Timothy Sample
Hi Jone, Jone writes: > Hello, people! I don't even know exactly what I would like to ask)) > Well, for example: two calls "guix pull" as root and as user - what > does the first if the root has 0 packages (besides guix itself, > right?) But how is this related in the future? I still do not >

Re: Should %base-services be included by default in the OS configuration generated by the installer?

2019-05-08 Thread sirgazil
Hi Tim, On Wed, 08 May 2019 19:35:45 -0500 Timothy Sample wrote > Hi sirgazil, > > sirgazil writes: > > > Hi, > > > > The Guix System 1.0.0 installer has a bug that makes it generate > > operating system configuration files that don't include the > >

Should %base-services be included by default in the OS configuration generated by the installer?

2019-05-08 Thread sirgazil
Hi, The Guix System 1.0.0 installer has a bug that makes it generate operating system configuration files that don't include the %base-packages (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35541). The configuration file of the system I installed was initially generated by the installer, so I

Re: guix system reconfigure /etc/config.scm or my-config.scm

2019-05-08 Thread sirgazil
On Wed, 08 May 2019 14:16:55 -0500 John Soo wrote > Hi there, > > I do exactly what you said: > > $ emacs /path/to/my/config.scm > $ sudo suix system reconfigure /path/to/my/config.scm > > No need to keep it in /etc. > > Hope that helps, Yes, thanks :)

Any questions yet

2019-05-08 Thread Jone
Hello, people! I don't even know exactly what I would like to ask)) Well, for example: two calls "guix pull" as root and as user - what does the first if the root has 0 packages (besides guix itself, right?) But how is this related in the future? I still do not understand what I do not

Re: guix system reconfigure /etc/config.scm or my-config.scm

2019-05-08 Thread sirgazil
On Wed, 08 May 2019 14:18:33 -0500 Tobias Geerinckx-Rice wrote > Hiya Sirgazil, > > sirgazil wrote: > > So, should one do the following instead? > > > > $ emacs ~/path/to/my-config.scm > > Modify the file to your liking > > $ guix pull && sudo guix system

Re: Should %base-services be included by default in the OS configuration generated by the installer?

2019-05-08 Thread Timothy Sample
Hi sirgazil, sirgazil writes: > Hi, > > The Guix System 1.0.0 installer has a bug that makes it generate > operating system configuration files that don't include the > %base-packages > (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35541). The > configuration file of the system I installed was

Re: guile scheme tutorial

2019-05-08 Thread swedebugia
On 2019-05-08 15:15, Pierre Neidhardt wrote: > For what it's worth, most of rendaw's comments resonate to me, from back > when I first got started with Guix. > > But now, with hindsight, it's not obvious to me anymore what can be > fixed in the manual. > > I believe the reason for this is simply

Input Attach Service

2019-05-08 Thread Raghav Gururajan
Hello Guix! Based on this (https://www.gnu.org/software/guix/manual/en/html_node/Miscellaneous-Services.html#Miscellaneous-Services), I have included "input-attach-service-type" (with default config, that is, values left blank) to my system services in the system config. But still my stylus

Wrong type argument in position 1 (expecting struct): #

2019-05-08 Thread znavko
Hello! I try to reconfigure system with Gnome, sddm and wayland. I also use sddm-configuration to define use wayland for greeter, but get the error for my misconfiguration: # cat config.scm ... (services (cons* ;(service xfce-desktop-service-type) (service gnome-desktop-service-type)

Re: Red Notebook will not build.

2019-05-08 Thread swedebugia
On 2019-05-07 15:37, Jesse Gibbons wrote: ... When I look into the file that defines the Browser class I see it tries to import the "webKit2" package, version 4.0 which is not defined by guix. Then it defines a subclass of WebKit2.WebView which Python says is null. Luckily there is a warning

Re: Original config from a documentation causes an error with keyboard-layout function

2019-05-08 Thread swedebugia
On 2019-05-08 07:00, Adam Mazurkiewicz wrote: ... Using this file caused the error: /root/sda6/home/s/Dropbox/Guix/scm1/config.scm:5:0: error: extraneous field initializers (keyboard-layout) So it is something wrong with the keyboard-layout function. The function is used a few times so we do

Re: "System Package" vs "System Service"

2019-05-08 Thread Chris Marusich
Hi Raghav, "Raghav Gururajan" writes: > Hello Chris! > > Thank you for your email. I have already tried configuring my browser > to use localhost's tor port as proxy, but getting error "proxy is > refusing connection". When I check tor service with "herd status", tor > wasn't running. When I

Re: Original config from a documentation causes an error with keyboard-layout function

2019-05-08 Thread Adam Mazurkiewicz
I processed the installation try from usb flash stick. First I formatted a target partition for the new Guixsd instance with ext4 and labeled it guixsd. Then I did that follows and put 'guix describe': root@gnu ~# ifconfig enp2s0 up && \ > dhclient enp2s0 -v [ 173.423231] RTL8211B Gigabit

Re: "System Package" vs "System Service"

2019-05-08 Thread Raghav Gururajan
> I'm sorry to hear that Tor is giving you such trouble. Maybe there is > some helpful information in one of the files in /var/log? Perhaps dmesg > has some useful output? I will check the log and get back to you. How do I use dmesg? Should I install any package and use any specific command? >

Re: Original config from a documentation causes an error with keyboard-layout function

2019-05-08 Thread Ricardo Wurmus
Adam Mazurkiewicz writes: > Using this file caused the error: > /root/sda6/home/s/Dropbox/Guix/scm1/config.scm:5:0: error: extraneous field > initializers (keyboard-layout) > > So it is something wrong with the keyboard-layout function. The function is > used a few times so we do not know

Re: guile scheme tutorial

2019-05-08 Thread Ludovic Courtès
Hello! rendaw <7e9wc56emja...@s.rendaw.me> skribis: > The areas that were important for me but weren't well documented were: Thanks for explaining! That’s a lot of things to digest. :-) I’m not entirely sure I agree with or understand everything you mention, I’ll comment on some of these

Re: Adding a polkit-service to fix networkmanager

2019-05-08 Thread Ludovic Courtès
Hello, Adam Mazurkiewicz skribis: > I installed networkmanager in my Xfce Desktop Environment, but it did > not allow to add new connections. What application do you use to manage NetworkManager connectivity? (The ‘network-manager’ package provides core ‘network-manager’, but on GNOME for

Re: Original config from a documentation causes an error with keyboard-layout function

2019-05-08 Thread Ludovic Courtès
Hi Adam, Adam Mazurkiewicz skribis: > root@gnu ~# guix system init /mnt/etc/config.scm /mnt/ > /mnt/etc/config.scm:5:0: error: extraneous field initializers > (keyboard-layout) > root@gnu ~# guix describe > guix describe: error: failed to determine origin Most likely this means that the ‘guix’

How to use gexps in builds?

2019-05-08 Thread nly
... (build-system trivial-build-system) `(#:modules ((guix gexp)) #:builder (gexp->derivation "gnumake" #~(begin (mkdir #$output) (chdir #$output) (symlink

Re: Adding Services

2019-05-08 Thread John Soo
Hi Amar, I recommend reading the manual sections on service definitions. I think that will clear up any confusion. For this configuration there are two suggestions I have: - closely check the way the `service` procedure is used. It takes the service type and a configuration like below. It

Adding Services

2019-05-08 Thread nly
I imagine a user(me) would do: (service (oddmuse-service-type (oddmuse-configuration (inherit %oddmuse-configuration) (root "blah") (... Is this alright? Oddmuse package is in (gnu packages web) I am missing the service extensions, (i don't get

Re: guix system reconfigure /etc/config.scm or my-config.scm

2019-05-08 Thread Tobias Geerinckx-Rice
Hiya Sirgazil, sirgazil wrote: So, should one do the following instead? $ emacs ~/path/to/my-config.scm Modify the file to your liking $ guix pull && sudo guix system reconfigure ~/path/to/my-config.scm Oh, it doesn't matter. This file can be whatever and wherever you want

Re: Input Attach Service

2019-05-08 Thread Tobias Geerinckx-Rice
Raghav, Raghav Gururajan wrote: Hello Guix! Based on this (https://www.gnu.org/software/guix/manual/en/html_node/Miscellaneous-Services.html#Miscellaneous-Services), I have included "input-attach-service-type" (with default config, that is, values left blank) to my system services in the

guix system reconfigure /etc/config.scm or my-config.scm

2019-05-08 Thread sirgazil
Hi, I'm reading the Guix manual, and I'm confused about the recommended way to reconfigure the system. The workaround added recently to the "Graphical Installation" section suggests that in a freshly installed system you can:¹ $ sudo emacs /etc/config.scm Modify the file to your

Re: guix system reconfigure /etc/config.scm or my-config.scm

2019-05-08 Thread John Soo
Hi there, I do exactly what you said: $ emacs /path/to/my/config.scm $ sudo suix system reconfigure /path/to/my/config.scm No need to keep it in /etc. Hope that helps, John > On May 8, 2019, at 11:54 AM, sirgazil wrote: > > Hi, > > I'm reading the Guix manual, and I'm confused about the