Re: guix pull: error: commit 3946540 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0

2022-08-06 Thread Tobias Geerinckx-Rice
On 2022-08-06 23:06, Tobias Geerinckx-Rice wrote: I'm not aware of a technical reason to switch branch names. OK, having read up on the mood in #guix I think I understand the reference. But I don't think that would have been a good idea, and I wouldn't have supported it. Kind regards, T

Re: guix pull: error: commit 3946540 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0

2022-08-06 Thread Tobias Geerinckx-Rice
(Aside: the immediate issue has been resolved! Pull to your heart's content. Pull for a friend.) On 2022-08-06 22:43, Vagrant Cascadian wrote: What a great opportunity to switch to using "main" instead of "master" anyways. :) I thought git was going to at some point make "main" the default

Re: guix pull: error: commit 3946540 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0

2022-08-06 Thread Vagrant Cascadian
On 2022-08-06, Tobias Geerinckx-Rice wrote: > On 2022-08-06 20:48, Tobias Geerinckx-Rice wrote: >> guix pull: error: commit 39465409f0481f27d252ce25d2b02d3f5cbc6723 >> not signed by an authorized key: >> 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0 > > I tried a few other random things

Re: guix pull: error: commit 3946540 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0

2022-08-06 Thread Tobias Geerinckx-Rice
On 2022-08-06 20:48, Tobias Geerinckx-Rice wrote: guix pull: error: commit 39465409f0481f27d252ce25d2b02d3f5cbc6723 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0 I tried a few other random things to wriggle out of this but I think we're stuck (which

guix pull: error: commit 3946540 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0

2022-08-06 Thread Tobias Geerinckx-Rice
Hi all, If you try to guix pull now, this is what you'll see: guix pull: error: commit 39465409f0481f27d252ce25d2b02d3f5cbc6723 not signed by an authorized key: 2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0 There is and was no security risk. This is Guix working as intended in the

Re: language server doesn't let me emote

2022-08-06 Thread Dr. Arne Babenhauserheide
jgart writes: > Should I keep only one because of propagated-inputs but then doesn't > that break the declarativeness of wanting a particular package without > worrying about dep bleed? > > ¯\_(ツ)_/¯ I also used to run into such problems pretty often. The only way I found to break such cycles

Re: language server doesn't let me emote

2022-08-06 Thread Akib Azmain Turja
jgart writes: > substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% > 0.0 MB will be downloaded > emacs-ht-2.3 5KiB 331KiB/s 00:00 [##] > 100.0% > guix install: error: profile contains conflicting entries for emacs-ht > guix install:

Re: language server doesn't let me emote

2022-08-06 Thread jgart
On Sat, 06 Aug 2022 18:34:30 +0200 Tobias Geerinckx-Rice wrote: > Tobias Geerinckx-Rice 写道: > > OK. Did you not see the hint? I thought that the hint was a false positive but thanks for pointing it out because now it lead me to my original issue: ``` λ guix upgrade emacs-emojify

Re: to record a song

2022-08-06 Thread Dr. Arne Babenhauserheide
Gottfried writes: > Hi Guixers, > > In order to record a song with my laptop, which programs are useful? I’m using obs. It’s surprisingly good for recording. Best wishes, Arne -- Unpolitisch sein heißt politisch sein, ohne es zu merken. draketo.de signature.asc Description: PGP signature

Re: language server doesn't let me emote

2022-08-06 Thread Tobias Geerinckx-Rice
Tobias Geerinckx-Rice 写道: OK. Did you not see the hint? If you did, what did you think it meant and how did you try to address what it said? Would adding ‘at the same time’ help? Kind regards, T G-R signature.asc Description: PGP signature

Re: language server doesn't let me emote

2022-08-06 Thread Tobias Geerinckx-Rice
jgart 写道: I only ran this™: OK. Did you not see the hint? Kind regards, T G-R signature.asc Description: PGP signature

Re: language server doesn't let me emote

2022-08-06 Thread jgart
On Sat, 06 Aug 2022 16:52:38 +0200 Tobias Geerinckx-Rice wrote: > Did you try upgrading both packages at the same time? (guix > package -u emacs-emojify emacs-lsp-mode, for example?) I only ran this™: guix install emacs-emojify Here's the profile I ran the above against: ``` guix package

Re: language server doesn't let me emote

2022-08-06 Thread Tobias Geerinckx-Rice
Hi jgart, jgart 写道: substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% Which command triggered this? 0.0 MB will be downloaded emacs-ht-2.3 5KiB 331KiB/s 00:00 [##] 100.0% guix install: error: profile contains conflicting entries

Re: to record a song

2022-08-06 Thread jgart
guix golf: guix shell sox -- rec hello-world.wav

language server doesn't let me emote

2022-08-06 Thread jgart
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% 0.0 MB will be downloaded emacs-ht-2.3 5KiB 331KiB/s 00:00 [##] 100.0% guix install: error: profile contains conflicting entries for emacs-ht guix install: error: first entry:

Re: EFISTUB using UEFI directly with efibootmgr

2022-08-06 Thread yuu
On Fri, Jul 29 2022 at 09:01:51 +00:00:00, Yuu Yin wrote: Is it possible to set EFISTUB using UEFI directly with efibootmgr[1]? What to set for `--loader` (the vmlinux/vmlinuz)? and `initrd=`? ```sh efibootmgr --help | grep loader -l | --loader name (defaults to "\EFI\gnu\grub.efi")

Re: to record a song

2022-08-06 Thread Thorsten Wilms
On Sat, 6 Aug 2022 09:32:27 + Gottfried wrote: > In order to record a song with my laptop, which programs are useful? > > I found audacity and audacious. Audacious is a player. If you just want to record a few tracks from audio input with minor cutting and arranging afterwards, try

Re: to record a song

2022-08-06 Thread (
You might find this blog post, by Ricardo, to be helpful: -- (

to record a song

2022-08-06 Thread Gottfried
Hi Guixers, In order to record a song with my laptop, which programs are useful? I found audacity and audacious. Gottfried OpenPGP_0x61FAF349C9FB7F94.asc Description: OpenPGP public key OpenPGP_signature Description: OpenPGP digital signature