Re: Getting rid of "source file [...] newer than compiled" messages

2019-04-06 Thread Ricardo Wurmus


Katherine Cox-Buday  writes:

>> Can you show us the mtime of these files?  In my case both the scm and
>> the go files all have their mtime as 1970-01-01 01:00:01.0
>> +0100.
>
> One interesting point might be that there are no `.go` files. I would
> argue Guile's error message here could use some care, but even a better
> error message won't get me to a better spot :)

Oh, well, that’s definitely not right.  Guix does not download
individual files when fetching packages — it downloads archives that
definitely do contain the .go files.  So the question is… where did they
go once “guix pull” finished?

Does “guix gc --verify=repair,contents” (run as root) really not tell
you anything useful?

--
Ricardo




Re: xorg-configuration questions

2019-04-06 Thread 宋文武
John Soo  writes:

> Hey all,
>
> I love the idea of having one record for keyboard layout and I just 
> reconfigured my system with the new configuration but my settings won't take. 
> I've had issues with the old
> `extra-config` options in the past (nothing worked then including the 
> cst-trackball from below). Admittedly, I am quite unfamiliar with xorg 
> configuration of input devices so I can
> imagine I may be doing something wrong. I've listed what I have so far below. 
> Note that the console keymap works properly. Also the auto-login does not 
> seem to work either.
> What am I doing wrong? 
>
> (define ctrl-nocaps (keyboard-layout "us" #:options '("ctrl:nocaps")) 
> ...
> (define cst-trackball
>  "Section \"InputClass\"
> Identifier \"CST Trackball\"
> Driver \"libinput\"
> MatchVendor \"CST\"
> MatchProduct \"CST USB UNITRAC\"
> MatchIsPointer \"on\"
> Option \"AccelerationNumerator\" \"2.0\" EndSection")
> ...

Hello, I think there is no "AccelerationNumerator" option for libinput, it
has "AccelSpeed" instead:

https://wiki.archlinux.org/index.php/Mouse_acceleration#Mouse_acceleration_with_libinput

Hope it helps!



Re: Getting rid of "source file [...] newer than compiled" messages

2019-04-06 Thread Gábor Boskovits
Hello Katherine,

Katherine Cox-Buday  ezt írta (időpont:
2019. ápr. 6., Szo, 23:16):
>
> Ricardo Wurmus  writes:
>
> > This is really odd and I cannot reproduce this.  I wonder if this might
> > be related to some unusual file system choices or settings that cause
> > Guile to think that the source files are more recent.
>
> I have accepted that I have somehow gotten myself into a dark corner of
> Guix! I was expecting there to be a Guix command that would basically
> get any package back into a good state. I was kind of surprised that
> `guix build --check` or `guix build --repair` didn't help me out. My
> expectation was that maybe this would check the hash of the store with
> upstream and rebuild or redownload a substitute.
>

I believe you might be looking looking for guix gc --verify, and
suboptions thereof.
https://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-gc.html

Does that help?

> > Can you show us the mtime of these files?  In my case both the scm and
> > the go files all have their mtime as 1970-01-01 01:00:01.0
> > +0100.
>
> One interesting point might be that there are no `.go` files. I would
> argue Guile's error message here could use some care, but even a better
> error message won't get me to a better spot :)
>
> Thanks again for the time, Ricardo.
>
> --
> Katherine
>

Best regards,
g_bor



Re: disable software blocking of wifi?

2019-04-06 Thread Gábor Boskovits
Hello,

 ezt írta (időpont: 2019. ápr. 6., Szo, 23:04):
>
> rfkill list all
> 0: ideapad_wlan: Wireless LAN
> Soft blocked: no
> Hard blocked: no
> 1: phy0: Wireless LAN
> Soft blocked: no
> Hard blocked: no
> 2: ideapad_bluetooth: Bluetooth
> Soft blocked: yes
> Hard blocked: no
>
>

Thanks. I looked a bit around, and some seems to be solving by blacklisting
ideapad_laptop (which I see loaded)
acer-wmi (I don't see this loaded).

Could you try blacklisting ideapad_laptop, and see if it helps?

> April 6, 2019 8:49 PM, "Gábor Boskovits"  wrote:
>
> > Hello,
> >
> >  ezt írta (időpont: 2019. ápr. 6., Szo, 22:36):
> >
> >> Yes. This is my hardware. Yes, I do think about writing my own service 
> >> unlocking wifi. But I have a
> >> thought that it will be impossible to start wpa-supplicant after my own 
> >> service, on shepherd it
> >> will be kind of hack. I seek guru's support.
> >>
> >> $ lspci
> >> 00:00.0 Host bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> >> SoC Transaction Register
> >> (rev 0e)
> >> 00:02.0 VGA compatible controller: Intel Corporation Atom Processor 
> >> Z36xxx/Z37xxx Series Graphics &
> >> Display (rev 0e)
> >> 00:13.0 SATA controller: Intel Corporation Atom Processor E3800 Series 
> >> SATA AHCI Controller (rev
> >> 0e)
> >> 00:1a.0 Encryption controller: Intel Corporation Atom Processor 
> >> Z36xxx/Z37xxx Series Trusted
> >> Execution Engine (rev 0e)
> >> 00:1b.0 Audio device: Intel Corporation Atom Processor Z36xxx/Z37xxx 
> >> Series High Definition Audio
> >> Controller (rev 0e)
> >> 00:1c.0 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
> >> Express Root Port 1 (rev 0e)
> >> 00:1c.2 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
> >> Express Root Port 3 (rev 0e)
> >> 00:1c.3 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
> >> Express Root Port 4 (rev 0e)
> >> 00:1d.0 USB controller: Intel Corporation Atom Processor Z36xxx/Z37xxx 
> >> Series USB EHCI (rev 0e)
> >> 00:1f.0 ISA bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> >> Power Control Unit (rev
> >> 0e)
> >> 00:1f.3 SMBus: Intel Corporation Atom Processor E3800 Series SMBus 
> >> Controller (rev 0e)
> >> 02:00.0 Network controller: Qualcomm Atheros QCA9565 / AR9565 Wireless 
> >> Network Adapter (rev 01)
> >> 03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. 
> >> RTL8111/8168/8411 PCI Express Gigabit
> >> Ethernet Controller (rev 10)
> >>
> >> $ lsmod
> >> Module Size Used by
> >> ccm 20480 9
> >> fuse 114688 2
> >> snd_hda_codec_hdmi 57344 1
> >> snd_hda_codec_conexant 24576 1
> >> snd_hda_codec_generic 77824 1 snd_hda_codec_conexant
> >> ledtrig_audio 16384 2 snd_hda_codec_generic,snd_hda_codec_conexant
> >> intel_rapl 24576 0
> >> intel_soc_dts_thermal 20480 0
> >> intel_soc_dts_iosf 20480 1 intel_soc_dts_thermal
> >> intel_powerclamp 20480 0
> >> coretemp 20480 0
> >> kvm 651264 0
> >> irqbypass 16384 1 kvm
> >> punit_atom_debug 16384 0
> >> cmdlinepart 16384 0
> >> rtsx_usb_ms 24576 0
> >> intel_spi_platform 16384 0
> >> intel_spi 24576 1 intel_spi_platform
> >> memstick 20480 1 rtsx_usb_ms
> >> rtsx_usb_sdmmc 28672 0
> >> spi_nor 45056 1 intel_spi
> >> mtd 65536 3 cmdlinepart,intel_spi
> >> iTCO_wdt 16384 0
> >> iTCO_vendor_support 16384 1 iTCO_wdt
> >> crct10dif_pclmul 16384 1
> >> crc32_pclmul 16384 0
> >> arc4 16384 2
> >> uvcvideo 94208 0
> >> ath9k 155648 0
> >> videobuf2_vmalloc 20480 1 uvcvideo
> >> videobuf2_memops 20480 1 videobuf2_vmalloc
> >> ath9k_common 24576 1 ath9k
> >> videobuf2_v4l2 24576 1 uvcvideo
> >> ath9k_hw 479232 2 ath9k_common,ath9k
> >> joydev 24576 0
> >> ghash_clmulni_intel 16384 0
> >> cryptd 24576 1 ghash_clmulni_intel
> >> videobuf2_common 45056 2 videobuf2_v4l2,uvcvideo
> >> ath 32768 3 ath9k_common,ath9k,ath9k_hw
> >> videodev 204800 3 videobuf2_v4l2,uvcvideo,videobuf2_common
> >> i915 1548288 13
> >> media 49152 4 videodev,videobuf2_v4l2,uvcvideo,videobuf2_common
> >> rtsx_usb 24576 2 rtsx_usb_sdmmc,rtsx_usb_ms
> >> usbmouse 16384 0
> >> usbkbd 16384 0
> >> mac80211 839680 1 ath9k
> >> input_leds 16384 0
> >> ath3k 24576 0
> >> hci_uart 122880 0
> >> btusb 49152 0
> >> cec 45056 1 i915
> >> btqca 20480 1 hci_uart
> >> btrtl 20480 2 hci_uart,btusb
> >> btbcm 16384 2 hci_uart,btusb
> >> snd_hda_intel 45056 6
> >> btintel 24576 2 hci_uart,btusb
> >> bluetooth 561152 7 btrtl,btqca,btintel,hci_uart,btbcm,ath3k,btusb
> >> drm_kms_helper 167936 1 i915
> >> snd_hda_codec 135168 4
> >> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel
> >> psmouse 151552 0
> >> ideapad_laptop 36864 0
> >> snd_hda_core 86016 5
> >> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
> >> serio_raw 20480 0
> >> lpc_ich 24576 0
> >> r8169 81920 0
> >> cfg80211 692224 4 ath9k_common,ath9k,ath,mac80211
> >> i2c_i801 32768 0
> >> sparse_keymap 16384 1 ideapad_laptop
> >> realtek 20480 0
> >> drm 430080 9

Re: Getting rid of "source file [...] newer than compiled" messages

2019-04-06 Thread Katherine Cox-Buday
Ricardo Wurmus  writes:

> This is really odd and I cannot reproduce this.  I wonder if this might
> be related to some unusual file system choices or settings that cause
> Guile to think that the source files are more recent.

I have accepted that I have somehow gotten myself into a dark corner of
Guix! I was expecting there to be a Guix command that would basically
get any package back into a good state. I was kind of surprised that
`guix build --check` or `guix build --repair` didn't help me out. My
expectation was that maybe this would check the hash of the store with
upstream and rebuild or redownload a substitute.

> Can you show us the mtime of these files?  In my case both the scm and
> the go files all have their mtime as 1970-01-01 01:00:01.0
> +0100.

One interesting point might be that there are no `.go` files. I would
argue Guile's error message here could use some care, but even a better
error message won't get me to a better spot :)

Thanks again for the time, Ricardo.

-- 
Katherine



xorg-configuration questions

2019-04-06 Thread John Soo
Hey all,

I love the idea of having one record for keyboard layout and I just
reconfigured my system with the new configuration but my settings won't
take. I've had issues with the old `extra-config` options in the past
(nothing worked then including the cst-trackball from below). Admittedly, I
am quite unfamiliar with xorg configuration of input devices so I can
imagine I may be doing something wrong. I've listed what I have so far
below. Note that the console keymap works properly. Also the auto-login
does not seem to work either. What am I doing wrong?

(define ctrl-nocaps (keyboard-layout "us" #:options '("ctrl:nocaps"))
...
(define cst-trackball
 "Section \"InputClass\"
Identifier \"CST Trackball\"
Driver \"libinput\"
MatchVendor \"CST\"
MatchProduct \"CST USB UNITRAC\"
MatchIsPointer \"on\"
Option \"AccelerationNumerator\" \"2.0\" EndSection")
...
(modify-services %desktop-services
...
('gdm-service-type c =>
 (gdm-configuration
  (inherit c)
  (auto-login? #t)
  (default-user "john")
  (xorg-configuration
   (xorg-configuration
(keyboard-layout ctrl-nocaps)
(extra-config `(,cst-trackball)))

Thanks again!

- John


Re: disable software blocking of wifi?

2019-04-06 Thread znavko
rfkill list all
0: ideapad_wlan: Wireless LAN
Soft blocked: no
Hard blocked: no
1: phy0: Wireless LAN
Soft blocked: no
Hard blocked: no
2: ideapad_bluetooth: Bluetooth
Soft blocked: yes
Hard blocked: no


April 6, 2019 8:49 PM, "Gábor Boskovits"  wrote:

> Hello,
> 
>  ezt írta (időpont: 2019. ápr. 6., Szo, 22:36):
> 
>> Yes. This is my hardware. Yes, I do think about writing my own service 
>> unlocking wifi. But I have a
>> thought that it will be impossible to start wpa-supplicant after my own 
>> service, on shepherd it
>> will be kind of hack. I seek guru's support.
>> 
>> $ lspci
>> 00:00.0 Host bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
>> SoC Transaction Register
>> (rev 0e)
>> 00:02.0 VGA compatible controller: Intel Corporation Atom Processor 
>> Z36xxx/Z37xxx Series Graphics &
>> Display (rev 0e)
>> 00:13.0 SATA controller: Intel Corporation Atom Processor E3800 Series SATA 
>> AHCI Controller (rev
>> 0e)
>> 00:1a.0 Encryption controller: Intel Corporation Atom Processor 
>> Z36xxx/Z37xxx Series Trusted
>> Execution Engine (rev 0e)
>> 00:1b.0 Audio device: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
>> High Definition Audio
>> Controller (rev 0e)
>> 00:1c.0 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
>> Express Root Port 1 (rev 0e)
>> 00:1c.2 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
>> Express Root Port 3 (rev 0e)
>> 00:1c.3 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI 
>> Express Root Port 4 (rev 0e)
>> 00:1d.0 USB controller: Intel Corporation Atom Processor Z36xxx/Z37xxx 
>> Series USB EHCI (rev 0e)
>> 00:1f.0 ISA bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
>> Power Control Unit (rev
>> 0e)
>> 00:1f.3 SMBus: Intel Corporation Atom Processor E3800 Series SMBus 
>> Controller (rev 0e)
>> 02:00.0 Network controller: Qualcomm Atheros QCA9565 / AR9565 Wireless 
>> Network Adapter (rev 01)
>> 03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. 
>> RTL8111/8168/8411 PCI Express Gigabit
>> Ethernet Controller (rev 10)
>> 
>> $ lsmod
>> Module Size Used by
>> ccm 20480 9
>> fuse 114688 2
>> snd_hda_codec_hdmi 57344 1
>> snd_hda_codec_conexant 24576 1
>> snd_hda_codec_generic 77824 1 snd_hda_codec_conexant
>> ledtrig_audio 16384 2 snd_hda_codec_generic,snd_hda_codec_conexant
>> intel_rapl 24576 0
>> intel_soc_dts_thermal 20480 0
>> intel_soc_dts_iosf 20480 1 intel_soc_dts_thermal
>> intel_powerclamp 20480 0
>> coretemp 20480 0
>> kvm 651264 0
>> irqbypass 16384 1 kvm
>> punit_atom_debug 16384 0
>> cmdlinepart 16384 0
>> rtsx_usb_ms 24576 0
>> intel_spi_platform 16384 0
>> intel_spi 24576 1 intel_spi_platform
>> memstick 20480 1 rtsx_usb_ms
>> rtsx_usb_sdmmc 28672 0
>> spi_nor 45056 1 intel_spi
>> mtd 65536 3 cmdlinepart,intel_spi
>> iTCO_wdt 16384 0
>> iTCO_vendor_support 16384 1 iTCO_wdt
>> crct10dif_pclmul 16384 1
>> crc32_pclmul 16384 0
>> arc4 16384 2
>> uvcvideo 94208 0
>> ath9k 155648 0
>> videobuf2_vmalloc 20480 1 uvcvideo
>> videobuf2_memops 20480 1 videobuf2_vmalloc
>> ath9k_common 24576 1 ath9k
>> videobuf2_v4l2 24576 1 uvcvideo
>> ath9k_hw 479232 2 ath9k_common,ath9k
>> joydev 24576 0
>> ghash_clmulni_intel 16384 0
>> cryptd 24576 1 ghash_clmulni_intel
>> videobuf2_common 45056 2 videobuf2_v4l2,uvcvideo
>> ath 32768 3 ath9k_common,ath9k,ath9k_hw
>> videodev 204800 3 videobuf2_v4l2,uvcvideo,videobuf2_common
>> i915 1548288 13
>> media 49152 4 videodev,videobuf2_v4l2,uvcvideo,videobuf2_common
>> rtsx_usb 24576 2 rtsx_usb_sdmmc,rtsx_usb_ms
>> usbmouse 16384 0
>> usbkbd 16384 0
>> mac80211 839680 1 ath9k
>> input_leds 16384 0
>> ath3k 24576 0
>> hci_uart 122880 0
>> btusb 49152 0
>> cec 45056 1 i915
>> btqca 20480 1 hci_uart
>> btrtl 20480 2 hci_uart,btusb
>> btbcm 16384 2 hci_uart,btusb
>> snd_hda_intel 45056 6
>> btintel 24576 2 hci_uart,btusb
>> bluetooth 561152 7 btrtl,btqca,btintel,hci_uart,btbcm,ath3k,btusb
>> drm_kms_helper 167936 1 i915
>> snd_hda_codec 135168 4
>> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel
>> psmouse 151552 0
>> ideapad_laptop 36864 0
>> snd_hda_core 86016 5
>> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
>> serio_raw 20480 0
>> lpc_ich 24576 0
>> r8169 81920 0
>> cfg80211 692224 4 ath9k_common,ath9k,ath,mac80211
>> i2c_i801 32768 0
>> sparse_keymap 16384 1 ideapad_laptop
>> realtek 20480 0
>> drm 430080 9 drm_kms_helper,i915
>> wmi 32768 1 ideapad_laptop
>> snd_hwdep 20480 1 snd_hda_codec
>> i2c_algo_bit 16384 1 i915
>> fb_sys_fops 16384 1 drm_kms_helper
>> syscopyarea 16384 1 drm_kms_helper
>> snd_pcm 106496 4 snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec,snd_hda_core
>> snd_timer 40960 1 snd_pcm
>> sysfillrect 16384 1 drm_kms_helper
>> sysimgblt 16384 1 drm_kms_helper
>> snd 86016 20
>> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hwdep,snd_hda_intel,snd_hda_code
>> ,snd_timer,snd_pcm
>> ecdh_generic 

Re: disable software blocking of wifi?

2019-04-06 Thread Gábor Boskovits
Hello,

 ezt írta (időpont: 2019. ápr. 6., Szo, 22:36):
>
> Yes. This is my hardware. Yes, I do think about writing my own service 
> unlocking wifi. But I have a thought that it will be impossible to start 
> wpa-supplicant after my own service, on shepherd it will be kind of hack. I 
> seek guru's support.
>
> $ lspci
> 00:00.0 Host bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> SoC Transaction Register (rev 0e)
> 00:02.0 VGA compatible controller: Intel Corporation Atom Processor 
> Z36xxx/Z37xxx Series Graphics & Display (rev 0e)
> 00:13.0 SATA controller: Intel Corporation Atom Processor E3800 Series SATA 
> AHCI Controller (rev 0e)
> 00:1a.0 Encryption controller: Intel Corporation Atom Processor Z36xxx/Z37xxx 
> Series Trusted Execution Engine (rev 0e)
> 00:1b.0 Audio device: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> High Definition Audio Controller (rev 0e)
> 00:1c.0 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
> Root Port 1 (rev 0e)
> 00:1c.2 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
> Root Port 3 (rev 0e)
> 00:1c.3 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
> Root Port 4 (rev 0e)
> 00:1d.0 USB controller: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> USB EHCI (rev 0e)
> 00:1f.0 ISA bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
> Power Control Unit (rev 0e)
> 00:1f.3 SMBus: Intel Corporation Atom Processor E3800 Series SMBus Controller 
> (rev 0e)
> 02:00.0 Network controller: Qualcomm Atheros QCA9565 / AR9565 Wireless 
> Network Adapter (rev 01)
> 03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. 
> RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 10)
>
> $ lsmod
> Module  Size  Used by
> ccm20480  9
> fuse  114688  2
> snd_hda_codec_hdmi 57344  1
> snd_hda_codec_conexant24576  1
> snd_hda_codec_generic77824  1 snd_hda_codec_conexant
> ledtrig_audio  16384  2 snd_hda_codec_generic,snd_hda_codec_conexant
> intel_rapl 24576  0
> intel_soc_dts_thermal20480  0
> intel_soc_dts_iosf 20480  1 intel_soc_dts_thermal
> intel_powerclamp   20480  0
> coretemp   20480  0
> kvm   651264  0
> irqbypass  16384  1 kvm
> punit_atom_debug   16384  0
> cmdlinepart16384  0
> rtsx_usb_ms24576  0
> intel_spi_platform 16384  0
> intel_spi  24576  1 intel_spi_platform
> memstick   20480  1 rtsx_usb_ms
> rtsx_usb_sdmmc 28672  0
> spi_nor45056  1 intel_spi
> mtd65536  3 cmdlinepart,intel_spi
> iTCO_wdt   16384  0
> iTCO_vendor_support16384  1 iTCO_wdt
> crct10dif_pclmul   16384  1
> crc32_pclmul   16384  0
> arc4   16384  2
> uvcvideo   94208  0
> ath9k 155648  0
> videobuf2_vmalloc  20480  1 uvcvideo
> videobuf2_memops   20480  1 videobuf2_vmalloc
> ath9k_common   24576  1 ath9k
> videobuf2_v4l2 24576  1 uvcvideo
> ath9k_hw  479232  2 ath9k_common,ath9k
> joydev 24576  0
> ghash_clmulni_intel16384  0
> cryptd 24576  1 ghash_clmulni_intel
> videobuf2_common   45056  2 videobuf2_v4l2,uvcvideo
> ath32768  3 ath9k_common,ath9k,ath9k_hw
> videodev  204800  3 videobuf2_v4l2,uvcvideo,videobuf2_common
> i915 1548288  13
> media  49152  4 
> videodev,videobuf2_v4l2,uvcvideo,videobuf2_common
> rtsx_usb   24576  2 rtsx_usb_sdmmc,rtsx_usb_ms
> usbmouse   16384  0
> usbkbd 16384  0
> mac80211  839680  1 ath9k
> input_leds 16384  0
> ath3k  24576  0
> hci_uart  122880  0
> btusb  49152  0
> cec45056  1 i915
> btqca  20480  1 hci_uart
> btrtl  20480  2 hci_uart,btusb
> btbcm  16384  2 hci_uart,btusb
> snd_hda_intel  45056  6
> btintel24576  2 hci_uart,btusb
> bluetooth 561152  7 btrtl,btqca,btintel,hci_uart,btbcm,ath3k,btusb
> drm_kms_helper167936  1 i915
> snd_hda_codec 135168  4 
> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel
> psmouse   151552  0
> ideapad_laptop 36864  0
> snd_hda_core   86016  5 
> snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
> serio_raw  20480  0
> lpc_ich24576  0
> r8169  81920  0
> cfg80211  692224  4 ath9k_common,ath9k,ath,mac80211
> i2c_i801   32768  0
> sparse_keymap  16384  1 ideapad_laptop
> realtek20480  0
> drm   430080  9 drm_kms_helper,i915
> wmi 

Re: Does your printer work with Guix System? Please share!

2019-04-06 Thread Ricardo Wurmus


Hi Chris,

> Chris Marusich  writes:
>
>> "Jovany Leandro G.C"  writes:
>>
>>> and my best option, go to shop center with your laptop with
>>> software libre 100% connect the printer and see you can install
>>> it and print.
>>
>> That's a great idea!  I'll see if the stores near me let me do this.
>
> I went to a store and tested 8 different printers.  They didn't work
> with Guix System, but I couldn't tell if the printer's fault or not.
> Going forward, I think I'm going to bring along a more mainstream
> FSDG-compliant distro, like Trisquel, so it's easier to tell if the
> failure to print is a Guix-specific problem.

Oh, that sounds painful.

> Anyway, my quest for a printer continues.  I'll let you know if and when
> I find "The One"!  As always, if anyone has more info to share, please
> do.

I would like to note that I’ve tested my Brother HL-L2370DN laser
printer again and it still works fine.  I also added the brlaser package
to Guix.

-- 
Ricardo




Re: Getting rid of "source file [...] newer than compiled" messages

2019-04-06 Thread Ricardo Wurmus


Hi Katherine,

> I was wondering if anyone had any ideas? This is not blocking me from
> doing anything, but it does cause a lot of spam, and it slows operations
> down a lot.

This is really odd and I cannot reproduce this.  I wonder if this might
be related to some unusual file system choices or settings that cause
Guile to think that the source files are more recent.

You showed us this example output:

> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/hash.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/hash.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/common.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/common.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/package-config.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/package-config.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/utils.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/utils.go

Can you show us the mtime of these files?  In my case both the scm and
the go files all have their mtime as 1970-01-01 01:00:01.0
+0100.

--
Ricardo




Re: disable software blocking of wifi?

2019-04-06 Thread znavko
Yes. This is my hardware. Yes, I do think about writing my own service 
unlocking wifi. But I have a thought that it will be impossible to start 
wpa-supplicant after my own service, on shepherd it will be kind of hack. I 
seek guru's support.

$ lspci
00:00.0 Host bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series SoC 
Transaction Register (rev 0e)
00:02.0 VGA compatible controller: Intel Corporation Atom Processor 
Z36xxx/Z37xxx Series Graphics & Display (rev 0e)
00:13.0 SATA controller: Intel Corporation Atom Processor E3800 Series SATA 
AHCI Controller (rev 0e)
00:1a.0 Encryption controller: Intel Corporation Atom Processor Z36xxx/Z37xxx 
Series Trusted Execution Engine (rev 0e)
00:1b.0 Audio device: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
High Definition Audio Controller (rev 0e)
00:1c.0 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
Root Port 1 (rev 0e)
00:1c.2 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
Root Port 3 (rev 0e)
00:1c.3 PCI bridge: Intel Corporation Atom Processor E3800 Series PCI Express 
Root Port 4 (rev 0e)
00:1d.0 USB controller: Intel Corporation Atom Processor Z36xxx/Z37xxx Series 
USB EHCI (rev 0e)
00:1f.0 ISA bridge: Intel Corporation Atom Processor Z36xxx/Z37xxx Series Power 
Control Unit (rev 0e)
00:1f.3 SMBus: Intel Corporation Atom Processor E3800 Series SMBus Controller 
(rev 0e)
02:00.0 Network controller: Qualcomm Atheros QCA9565 / AR9565 Wireless Network 
Adapter (rev 01)
03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 
PCI Express Gigabit Ethernet Controller (rev 10)

$ lsmod
Module  Size  Used by
ccm20480  9
fuse  114688  2
snd_hda_codec_hdmi 57344  1
snd_hda_codec_conexant24576  1
snd_hda_codec_generic77824  1 snd_hda_codec_conexant
ledtrig_audio  16384  2 snd_hda_codec_generic,snd_hda_codec_conexant
intel_rapl 24576  0
intel_soc_dts_thermal20480  0
intel_soc_dts_iosf 20480  1 intel_soc_dts_thermal
intel_powerclamp   20480  0
coretemp   20480  0
kvm   651264  0
irqbypass  16384  1 kvm
punit_atom_debug   16384  0
cmdlinepart16384  0
rtsx_usb_ms24576  0
intel_spi_platform 16384  0
intel_spi  24576  1 intel_spi_platform
memstick   20480  1 rtsx_usb_ms
rtsx_usb_sdmmc 28672  0
spi_nor45056  1 intel_spi
mtd65536  3 cmdlinepart,intel_spi
iTCO_wdt   16384  0
iTCO_vendor_support16384  1 iTCO_wdt
crct10dif_pclmul   16384  1
crc32_pclmul   16384  0
arc4   16384  2
uvcvideo   94208  0
ath9k 155648  0
videobuf2_vmalloc  20480  1 uvcvideo
videobuf2_memops   20480  1 videobuf2_vmalloc
ath9k_common   24576  1 ath9k
videobuf2_v4l2 24576  1 uvcvideo
ath9k_hw  479232  2 ath9k_common,ath9k
joydev 24576  0
ghash_clmulni_intel16384  0
cryptd 24576  1 ghash_clmulni_intel
videobuf2_common   45056  2 videobuf2_v4l2,uvcvideo
ath32768  3 ath9k_common,ath9k,ath9k_hw
videodev  204800  3 videobuf2_v4l2,uvcvideo,videobuf2_common
i915 1548288  13
media  49152  4 
videodev,videobuf2_v4l2,uvcvideo,videobuf2_common
rtsx_usb   24576  2 rtsx_usb_sdmmc,rtsx_usb_ms
usbmouse   16384  0
usbkbd 16384  0
mac80211  839680  1 ath9k
input_leds 16384  0
ath3k  24576  0
hci_uart  122880  0
btusb  49152  0
cec45056  1 i915
btqca  20480  1 hci_uart
btrtl  20480  2 hci_uart,btusb
btbcm  16384  2 hci_uart,btusb
snd_hda_intel  45056  6
btintel24576  2 hci_uart,btusb
bluetooth 561152  7 btrtl,btqca,btintel,hci_uart,btbcm,ath3k,btusb
drm_kms_helper167936  1 i915
snd_hda_codec 135168  4 
snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel
psmouse   151552  0
ideapad_laptop 36864  0
snd_hda_core   86016  5 
snd_hda_codec_generic,snd_hda_codec_conexant,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec
serio_raw  20480  0
lpc_ich24576  0
r8169  81920  0
cfg80211  692224  4 ath9k_common,ath9k,ath,mac80211
i2c_i801   32768  0
sparse_keymap  16384  1 ideapad_laptop
realtek20480  0
drm   430080  9 drm_kms_helper,i915
wmi32768  1 ideapad_laptop
snd_hwdep  20480  1 snd_hda_codec
i2c_algo_bit   16384  1 i915
fb_sys_fops16384  1 drm_kms_helper
syscopyarea16384  1 drm_kms_helper
snd_pcm   106496  4 
snd_hda_codec_hdmi,snd_hda_intel,snd_

Re: disable software blocking of wifi?

2019-04-06 Thread Gábor Boskovits
Hello,

 ezt írta (időpont: 2019. ápr. 5., P, 15:57):
>
> Hello! I am creating my own config. I've disabled 
> networkmanager-service-type, configured wpa-supplicant (but have not yet 
> configured dhcpcd, cause it needs networking service).
> Guix reconfigures my system normally.
>
> But during boot there is a message: rfkill: WLAN soft blocked
> And that is why wpa-supplicant fails:
>
> # reboot
> # dhclient -v wlp2s0
> Internet Systems Consortium DHCP Client 4.4.1
> Copyright 2004-2018 Internet Systems Consortium.
> All rights reserved.
> For info, please visit https://www.isc.org/software/dhcp/
>
> RTNETLINK answers: Operation not possible due to RF-kill
> Listening on LPF/wlp2s0/xx:xx:xx:xx:55
> Sending on   LPF/wlp2s0/xx:xx:xx:xx:55
> Sending on   Socket/fallback
> DHCPREQUEST for 192.168.1.33 on wlp2s0 to 255.255.255.255 port 67
> send_packet: Network is down
> dhclient.c:2762: Failed to send 300 byte long packet over wlp2s0 interface.
> receive_packet failed on wlp2s0: Network is down
> ^C
>
> # ifconfig
> loLink encap:Local Loopback
>   inet addr:127.0.0.1  Bcast:0.0.0.0  Mask:255.0.0.0
>   UP LOOPBACK RUNNING  MTU:65536  Metric:1
>   RX packets:0 errors:0 dropped:0 overruns:0 frame:0
>   TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
>   collisions:0 txqueuelen:1000
>   RX bytes:0  TX bytes:0
>
> # rfkill list all
> 0: ideapad_wlan: Wireless LAN
> Soft blocked: yes
> Hard blocked: no
> 1: ideapad_bluetooth: Bluetooth
> Soft blocked: yes
> Hard blocked: no
> 2: phy0: Wireless LAN
> Soft blocked: yes
> Hard blocked: no
>
> # rfkill unblock wifi
>
> # herd restart wpa-supplicant
> # dhclient -v wlp2s0
>
>
> So I need manually unblock wifi and restart wpa-supplicant, but it's not 
> coveinent.
>
> I tried this lines as I've got from here 
> https://superuser.com/questions/819547/how-do-i-stop-rfkill-module-from-hardblocking-my-wifi-without-rfkill-command
>  :
>
>
>  (kernel-arguments '("modprobe.blacklist=pcspkr,snd_pcsp,wmi,pata_acpi"
>  "modprobe.options.rfkill.master_switch_mode=2"
>  "modprobe.options.rfkill.default_state=1"))
>
> But adding 'wmi,pata_acpi  ' but not helped. If add ideapad_laptop to 
> blacklist, then rfkill does not see interfaces wlan and bluetooth.
>
> # lsmod | grep -e wmi -e acpi
> wmi32768  1 ideapad_laptop
>
>
> How to prevent rfkill blocking of wlan?

It should not just block it, unless somthing is requesting it to do so.
Do you have any related errors or warnings earlier?
Also, can you provide some hardware details?

It also seems to be possible to work around this, by running the
rfkill command from a service before
wpa-supplicant, but that feels very much like a hack to me.

Best regards,
g_bor



Re: Issues with the new xorg-configuration

2019-04-06 Thread Luther Thompson
On Fri, 05 Apr 2019 19:56:42 +
zna...@disroot.org wrote:

> Hi, Luther, I've brought back touchpad tapping with such config. Need
> to use gdm-service-type instead of slim-service-type

Thank you for the suggestion. I'm unable to try this right now, because
the reconfigure fails for me completely on the current commit. (I just
reported it on bug-g...@gnu.org.) I'll have to try this later.

Luther



Re: Getting rid of "source file [...] newer than compiled" messages

2019-04-06 Thread Katherine Cox-Buday
I was wondering if anyone had any ideas? This is not blocking me from
doing anything, but it does cause a lot of spam, and it slows operations
down a lot.

Katherine Cox-Buday  writes:

> Ricardo Wurmus  writes:
>
>> Katherine Cox-Buday  writes:
>>
>>> I'm not using Guix from a source checkout. I've issued `guix pull`
>>> (both
>>> under the root account and as my user account) a few times with no
>>> change.
>>
>> Hmm, this should never leave you with an uncompiled Guix.  Can you tell
>> us more about the environment in which this happens?  (e.g. the output
>> of “env” will be fine.)
>
> Here is an example. When I run `guix help` I receive:
>
> #+BEGIN_EXAMPLE
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/hash.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/hash.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/common.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/common.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/package-config.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/package-config.go
> ;;; note: source file 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/share/guile/site/2.2/gcrypt/utils.scm
> ;;;   newer than compiled 
> /gnu/store/cd6rjv3qhhghr59wpq4fksfr84d5dsdf-guix-module-union/lib/guile/2.2/site-ccache/gcrypt/utils.go
> #+END_EXAMPLE
>
>
> `env` reports:
>
> #+BEGIN_EXAMPLE
> GUIX_LOCPATH=/var/services/homes/me/.guix-profile/lib/locale
> TERM=xterm-256color
> SHELL=/bin/sh
> SSH_CLIENT=[redacted ip] 41856 22
> SSH_TTY=/dev/pts/9
> LC_ALL=en_US.utf8
> USER=me
> GUIX_PROFILE=/var/services/homes/me/.guix-profile
> PAGER=more
> MAIL=/var/mail/me
> 
> PATH=/var/services/homes/me/.guix-profile/bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/syno/sbin:/usr/syno/bin:/usr/local/sbin:/usr/local/bin
> PWD=/var/services/homes/me
> LANG=en_US.utf8
> SHLVL=1
> HOME=/var/services/homes/me
> TERMINFO=/usr/share/terminfo
> LOGNAME=me
> SSH_CONNECTION=[redacted ip] 41856 [redacted ip] 22
> PGDATA=/var/services/pgsql
> XDG_RUNTIME_DIR=/var/services/homes/me/.local/run
> GIT_EXEC_PATH=/var/services/homes/me/.guix-profile/bin
> _=/bin/env
> #+END_EXAMPLE
>
>>> `guix` is symlinked from `/usr/local/bin/guix` to
>>> `/var/guix/profiles/per-user/root/current-guix/bin/guix` which
>>> points to
>>> the latest profile (which is updated when running `guix pull` as root.
>>
>> When using “guix pull” it will install into the current user’s
>> ~/.config/guix/current/.  Are you only using Guix as the root user?
>
> No, I always use my user account, but root contains the symlinks for the
> daemon and CLI. The symlink for `/usr/local/bin/guix` is there from
> installation per step (6) of the manual[1]. I tried running `guix pull`
> as root because running it under my user account wasn't doing anything.
>
> Thank you for troubleshooting this with me.
>
> [1] -
> https://www.gnu.org/software/guix/manual/en/html_node/Binary-Installation.html#Binary-Installation

-- 
Katherine



Re: wpa-supplicant service configuration. Guile is hard

2019-04-06 Thread znavko
Situation is this now:
1. I have wonderful configured services: wpa-supplicant and dhcp-client
2. I see the messages during boot process: 
  wpa-supplicant successfully initialized
  rfkill: WLAN soft blocked
  service networking could not be started
3. I open terminal after boot and do this:
  su -
  rfkill unblock wifi
  herd restart networking
4. And I have Internet.

Bios has no wifi blocking. Do not know why wifi comes blocked. Need to know how 
to unblock. Do I need own service with `rfkill unblock wifi`, and if so, how to 
run networking service after my own service?

April 6, 2019 4:36 AM, "Ricardo Wurmus"  wrote:

> zna...@tutanota.com writes:
> 
>> Hello! I have several questions about wpa-supplicant + dhcpcd services.
>> 
>> First of all I do not want to use networkmanager and I usually get Internet 
>> working manually with
>> this:
>> # cat startnet
>> #!/bin/sh
>> #connect to wi-fi through wpa_supplicant
>> herd stop wpa-supplicant
>> rfkill unblock wifi
>> wpa_supplicant -B -i wlp2s0 -c /etc/wpa_supplicant/wpa_supplicant.conf
>> sleep 2
>> dhclient -v wlp2s0
> 
> Why do you do this all manually instead of using
> wpa-supplicant-service-type and dhcp-client-service-type?
> 
> Your configuration looks … adventurous. Here are some recommendations:
> 
> * don’t nest modify-services. Nothing good will come of this. It only
> serves to confuse you. “modify-services” can modify more than one
> service at once.
> 
> * don’t leave parentheses on lines all by themselves. They get lonely.
> 
> * don’t use dhcpd-service-type unless you want to run a DHCP server.
> Use dhcp-client-service-type for the DHCP *client*.
> 
> * you don’t need to add wpa-supplicant to the list of globally installed
> packages. The service is enough.
> 
> * maybe try fixing the indentation (Emacs can do this with M-q) — it’s
> very hard to understand the configuration when the indentation tries
> hard to mislead you.
> 
> --
> Ricardo



Re: wpa-supplicant service configuration. Guile is hard

2019-04-06 Thread znavko
oh, sorry, tun0 is vpn.



Re: wpa-supplicant service configuration. Guile is hard

2019-04-06 Thread znavko
Hello! I've spent 3 hours reading emacs tutorial and searching for scheme mode 
but did not get result.
Pressing M-q on each paragraph of my config has broke it (attached file with 
suffix emacs).

> Why do you do this all manually instead of using
> wpa-supplicant-service-type and dhcp-client-service-type?

I do have wpa-supplicant-service-type and dhcp-client-service-type, and they do 
not work, cause wlan is soft blocked. I need to use `rfkill unblock wifi` in my 
script, but services do not do this.
After reboot I have `herd status` as in attach, networking is inactive there. I 
think soft blocking happens because there are 2 wlan in my system, a strange 
tun0 has appeared.

# ifconfig
enp3s0Link encap:Ethernet  HWaddr xx:xx:xx:11
  UP BROADCAST MULTICAST  MTU:1500  Metric:1
  RX packets:0 errors:0 dropped:0 overruns:0 frame:0
  TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
  collisions:0 txqueuelen:1000
  RX bytes:0  TX bytes:0

loLink encap:Local Loopback
  inet addr:127.0.0.1  Bcast:0.0.0.0  Mask:255.0.0.0
  UP LOOPBACK RUNNING  MTU:65536  Metric:1
  RX packets:0 errors:0 dropped:0 overruns:0 frame:0
  TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
  collisions:0 txqueuelen:1000
  RX bytes:0  TX bytes:0

tun0  Link encap:(hwtype unknown)
  inet addr:10.14.0.26  Bcast:0.0.0.0  Mask:255.255.255.255
  UP POINTOPOINT RUNNING NOARP MULTICAST  MTU:1500  Metric:1
  RX packets:8911 errors:0 dropped:0 overruns:0 frame:0
  TX packets:5637 errors:0 dropped:0 overruns:0 carrier:0
  collisions:0 txqueuelen:100
  RX bytes:8626006  TX bytes:703476

wlp2s0Link encap:Ethernet  HWaddr xx:xx:xx:xx:22
  inet addr:192.168.1.33  Bcast:192.168.1.255  Mask:255.255.255.0
  UP BROADCAST RUNNING MULTICAST  MTU:1500  Metric:1
  RX packets:10351 errors:0 dropped:0 overruns:0 frame:0
  TX packets:5867 errors:0 dropped:0 overruns:0 carrier:0
  collisions:0 txqueuelen:1000
  RX bytes:9765341  TX bytes:1265501

Also I attach some dmesg lines if it will give some info.
Now I have network services, but they do not manage the soft blocking of wifi. 
How to unblock automatically?


April 6, 2019 4:36 AM, "Ricardo Wurmus"  wrote:

> zna...@tutanota.com writes:
> 
>> Hello! I have several questions about wpa-supplicant + dhcpcd services.
>> 
>> First of all I do not want to use networkmanager and I usually get Internet 
>> working manually with
>> this:
>> # cat startnet
>> #!/bin/sh
>> #connect to wi-fi through wpa_supplicant
>> herd stop wpa-supplicant
>> rfkill unblock wifi
>> wpa_supplicant -B -i wlp2s0 -c /etc/wpa_supplicant/wpa_supplicant.conf
>> sleep 2
>> dhclient -v wlp2s0
> 
> Why do you do this all manually instead of using
> wpa-supplicant-service-type and dhcp-client-service-type?
> 
> Your configuration looks … adventurous. Here are some recommendations:
> 
> * don’t nest modify-services. Nothing good will come of this. It only
> serves to confuse you. “modify-services” can modify more than one
> service at once.
> 
> * don’t leave parentheses on lines all by themselves. They get lonely.
> 
> * don’t use dhcpd-service-type unless you want to run a DHCP server.
> Use dhcp-client-service-type for the DHCP *client*.
> 
> * you don’t need to add wpa-supplicant to the list of globally installed
> packages. The service is enough.
> 
> * maybe try fixing the indentation (Emacs can do this with M-q) — it’s
> very hard to understand the configuration when the indentation tries
> hard to mislead you.
> 
> --
> Ricardo
;;this is znavko's cute config

(use-modules (gnu) (gnu system nss)
 (gnu system locale) ;;for locale-definition
 (gnu services desktop)
 (srfi srfi-1) ;;for remove function
 (gnu services networking) ;;for remove ntp
 (gnu services avahi) ;;for remove avahi
 (gnu services xorg)
 (gnu packages admin) ;;for wpa_supplicant
)
(use-service-modules desktop)
(use-package-modules certs gnome)

(operating-system (host-name "antelope") (timezone "Europe/Moscow") (locale 
"en_US.utf8")
  (bootloader (bootloader-configuration (bootloader grub-bootloader) (target 
"/dev/sda")))
  (file-systems (cons (file-system (device "/dev/sda1") (mount-point "/") (type 
"ext4")) %base-file-systems))
  (swap-devices '("/dev/sda2"))

  (users (cons* (user-account (name "bob") (group "users")
(supplementary-groups '("wheel" "netdev" "audio" "video"))
(home-directory "/home/bob"))
(user-account (name "mom") (group "users")
(supplementary-groups '("wheel" "netdev" "audio" "video"))
(home-directory "/home/mom"))
   %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs ;for HTTPS access
   gvf