Re: EDOPro can't load libpthread.so.0

2022-10-10 Thread Felix Lechner via
Hi Mario, On Mon, Oct 10, 2022 at 5:46 PM wrote: > > > PS. I tried to launch EDOPro with ./EDOPro . In Bash, I might try LD_LIBRARY_PATH=~/.guix-profile/lib ./EDOPro Kind regards Felix Lechner

Issues updating the definition of qtserialport

2022-10-10 Thread Cairn
Hey! I'm trying to update `qtserialport` to 6.3.1 for use with another package (and so it's up-to-date with other Qt modules). I'll make sure to rename the current package to "qtserialport-5" as well. I'm having trouble getting it to recognize udev, which it requires. The current package

Re: EDOPro can't load libpthread.so.0

2022-10-10 Thread jbranso
September 1, 2022 6:59 PM, "Mario Calcagno" wrote: > I'm trying to lauch EDOPro, a free/libre yu-gi-oh simulator, but every time > it answer with a "File > or directory not found" > even if the file is in the same directory I'm in. > Using libtree on the file it says that it can't find

Re: Enterprise Guix Hosting?

2022-10-10 Thread Phil
Hi Simon zimoun writes: > > Do you have a Guix recipe for building VS Code? Not for VS Code itself. People at my workplace tend to use the Windows install to develop on remote Linux servers that are running Guix as a package manager. > Do you recommend some VS Code plugins for editing Guile

Re: How can I step through this code?

2022-10-10 Thread jbranso
October 9, 2022 12:30 PM, "jgart" wrote: > On Sun, 09 Oct 2022 00:14:23 + jbra...@dismail.de wrote: > >> A debugger stepping through the code would have been awesome! > > Yup it would have! You're right! > >> Right now I am super in love with Guix. > > Me too, it's more like a passionate

Re: Lost all my guix home application packages from channels after guix update (pull, reconfigure)

2022-10-10 Thread Sébastien Rey-Coyrehourcq
Hi, You’re right Ludovic, i run the command guix home describe –list-installed and everything is here but … my home applications are only accessible directly by using the store path “/gnu/store/” : reyman@xxx ~>

Re: How can I step through this code?

2022-10-10 Thread jgart
On Mon, 10 Oct 2022 18:04:57 +0200 Ludovic Courtès wrote: > What you can do though, Thanks Ludo! Much appreciated!! I hadn't used ,optimize metacommand yet. I've used pk in Guile and Racket but not regularly tbh. Maybe I should start. Ludo, how would you step through this code? (define

Re: Guix Home question ?

2022-10-10 Thread Ludovic Courtès
Hi, jordi skribis: > While starting to enjoy 'guix home' superpowers i created this git > repository > > https://codeberg.org/Fenix/home-config-at-mercurio > > taking care of my old laptop's config. > > I might be missing some basics here... > First question that comes to my mind is... how

Re: Lost all my guix home application packages from channels after guix update (pull, reconfigure)

2022-10-10 Thread Ludovic Courtès
Hi, "Sebastien Rey-Coyrehourcq" skribis: > I used guix home without problem last month but with a recent guix pull, guix > system reconfigure, guix home reconfigure, all my package defined into guix > home manifest disapear !! What do you mean by “disappear”? What does this report: guix

Trying to figure out 9p filesystem

2022-10-10 Thread Chad Nelson via
I am trying to work out a way to mount a 9p filesystem in Guix. I have tried pulling apart pieces of guix/vm.scm, but can’t seem to figure out how it is setting up the 'file-system->mount_tag’ option for the file-system decorations it uses. https://paste.debian.net/1256544/

Re: Guix REPL - To infinity and beyond

2022-10-10 Thread Fulbert
Le Mon, Oct 10, 2022 at 11:38:38AM +0200, zimoun a écrit : > Hi, > > On sam., 08 oct. 2022 at 16:59, Fulbert wrote: > > > So, first, thanks to Simon Fournier for this presentation. And second, as > > it could be convenient not only to self, I made it available there : > >

Re: Enterprise Guix Hosting?

2022-10-10 Thread zimoun
Hi, On Mon, 10 Oct 2022 at 12:30, ( wrote: > *Highly* unlikely. VSCode is an Electron and Typescript bin fire, so packaging > it would take a *very* long time. Unless they used the official VSCode binary > downloads, but those are partly proprietary and include telemetry. Thanks for the

Re: Enterprise Guix Hosting?

2022-10-10 Thread (
Hi zimoun, On Mon Oct 10, 2022 at 8:58 AM BST, zimoun wrote: > Do you have a Guix recipe for building VS Code? *Highly* unlikely. VSCode is an Electron and Typescript bin fire, so packaging it would take a *very* long time. Unless they used the official VSCode binary downloads, but those are

Re: Enterprise Guix Hosting?

2022-10-10 Thread zimoun
Hi Phil, Thanks for your feedback. Very helpful and I would be interested by detailing many items. :-) Well, for now I am specifically interested in: On sam., 08 oct. 2022 at 17:23, Phil wrote: > Most of the developers I work with are comfortable using the console so > most of my demos are

Re: Guix REPL - To infinity and beyond

2022-10-10 Thread zimoun
Hi, On sam., 08 oct. 2022 at 16:59, Fulbert wrote: > So, first, thanks to Simon Fournier for this presentation. And second, as it > could be convenient not only to self, I made it available there : >