bug#63546: nix-channel error: opening pseudoterminal master: No such device

2023-05-16 Thread Nathan Dehnel
I recently started getting this error: $ nix-channel --update unpacking channels... error: opening pseudoterminal master: No such device error: program '/gnu/store/77sxsc9awh98pg4y1iab195adls6bbm8-nix-2.5.1/bin/nix-env' failed with exit code 1 should I report this to nix instead? tried running

bug#63451: Guix pull not successful

2023-05-16 Thread Simon Tournier
Hi, On Thu, 11 May 2023 at 13:03, a wrote: > \Backtrace: > In ice-9/boot-9.scm: >222:29 19 (map1 (# (#) #) > # ?)) >222:29 18 (map1 (# (#) #) > (# ()))> # ?)) >222:17 17 (map1 (# sanitize-location> (# ?)) > In ice-9/psyntax.scm: > Exception thrown while printing backtrace: > Wrong ty

bug#62517: installer-dump-ed8ac2cb

2023-05-16 Thread Simon Tournier
Hi, Sorry for the late reply. On Wed, 29 Mar 2023 at 11:31, Graham Addis wrote: > qemu didn't like the -enable-kvm switch, so I left that out. I guess you need to enable KVM on your host distribution. On default Debian, I am running something like: 1. Check if =/dev/kvm= is there: =ls -l

bug#62659: ikiwiki installation problem?

2023-05-16 Thread Simon Tournier
Hi, Thanks for your report. And sorry for the late reply. On Mon, 03 Apr 2023 at 14:22, "Felicity L." wrote: > So the issue is that when you install "ikiwiki", and then try to > follow the guide and run "ikiwiki --setup ...path" you get an error > saying ".../.ikiwiki-makerepo-real: line 32: p

bug#20255: 'search-paths' should respect both user and system profile.

2023-05-16 Thread 宋文武 via Bug reports for GNU Guix
Josselin Poiret writes: > Hi Maxim, > > Maxim Cournoyer writes: > >> Just to make sure, remove what exactly? > > Remove the bit in /etc/profile that loads the user's profile, if it is > indeed supposed to be loaded by the user's own ~/.zprofile or > ~/.bash_profile. Remove will break existed sy

bug#20255: 'search-paths' should respect both user and system profile.

2023-05-16 Thread Josselin Poiret via Bug reports for GNU Guix
Hi Maxim, Maxim Cournoyer writes: > Just to make sure, remove what exactly? Remove the bit in /etc/profile that loads the user's profile, if it is indeed supposed to be loaded by the user's own ~/.zprofile or ~/.bash_profile. At least, I don't know if there is a general agreement on what shoul

bug#63371: [PATCH] gnu: openboard: Update to 1.7-dev-0.47a96e1

2023-05-16 Thread Giovanni Biscuolo
>From c0405d2762eb173fb7357de700f1aefc606682f6 Mon Sep 17 00:00:00 2001 Message-Id: From: Giovanni Biscuolo Date: Tue, 16 May 2023 08:08:56 +0200 Subject: [PATCH] gnu: openboard: Update to 1.7-dev-0.47a96e1 * gnu/packages/education.scm (openboard)[version]: Update to 1.7-dev-0.47a96e1 [arguments

bug#63530: Missing library in package procps

2023-05-16 Thread Gabriel Wicki
A little more hacking leads me to the conclusion that (probably with version 4 but it's not exactly clear from the changelog) procps has made some significant changes to it's API. So, unless igt-gpu-tools (and probably others) are fixed upstream they remain broken. Fixes through simple regex-magi