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 definition has a patching phase which makes the path to udev absolute. 
I can't find any issues with this phase, and yet building with 6.3.1 throws an 
error:

CMake Error at 
/gnu/store/...-qtbase-6.3.1/lib/cmake/Qt6Core/Qt6CoreMacros.cmake:2440 
(add_library):
  Target "SerialPort" links to target "PkgConfig::Libudev" but the target 
was
  not found.  Perhaps a find_package() call is missing for an IMPORTED
  target, or an ALIAS target is missing?
Call Stack (most recent call first):
  /gnu/store/...-qtbase-6.3.1/lib/cmake/Qt6/QtModuleHelpers.cmake:128 
(_qt_internal_add_library)
  src/serialport/CMakeLists.txt:6 (qt_internal_add_module)

I'm pretty sure this is easy to reproduce. All I did was replace the version 
number, update dependencies and (after some testing) replaced the modify phases 
line with "#~(modify-phases #$phases". I'd love to know if there's anything 
I've obviously missed. If this is an easy fix, feel free to send a patch before 
me.

signature.asc
Description: OpenPGP digital signature


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 "libpthread.so.0" and I 
> don't know how to
> solve the problem.
> 
> PS. I tried to launch EDOPro with ./EDOPro .


Just replying, so that you get a reply.  :)

I've never heard of this program... how did you install it?

Joshua



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 Scheme?

I tried a few briefly and I was not a fan.  All fell short of the modes
available for emacs IMHO.  Most the developers using VS Code are using
Guix only to create and use environments rather than writing packages
themselves.




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 love hate relationship for me tbh. I
> need couples GNUtherapy.
> 
>> My main squeeze is working
>> on our existing opensmtpd-service and letting users configure it with
>> proper scheme records. I don't know if I want to play with common lisp.
> 
> Ya, it's a rabbit hole although I recommend atleast once, taking a stack
> stroll in the caddy just so you know what's up ;()

ahaha.  I guess there is an OS written in common lisp...



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 ~> 
/gnu/store/rxjjk0qslv24cxk136z1ch3spgc781vp-emacs-native-comp-28.1.91-203.82bcd44/bin/emacs

Fish term and Gnome activity menu don’t see/recognize binary stored into 
/gnu/store.

So this is more linked to the way Fish manage environnement ?

Thanks,
A+

Ludovic Courtès  writes:

> 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 home describe –list-installed
>
> ?
>
> Thanks,
> Ludo’.


signature.asc
Description: PGP signature


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 (list-index l k)
  (let loop ((n 0)
 (l l))
(and (not (null? l))
 (if (eq? (car l) k)
 n
 (loop (+ n 1) (cdr l))

(list-index '(1 2 3 4 5 6 7 8 9) 2)

What is your approach with Guile?

all best,

jgart




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 to avoid the .bash_aliases 
> imported by my current .bashrc to mess with the services at 
> home-configuration.scm file ?

How does ‘.bash_aliases’ mess with the services in your Home config
file?

At any rate, ‘.bash_aliases’ is most likely useless now that aliases
have been imported in your ‘home-configuration.scm’.

HTH,
Ludo’.



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 home describe --list-installed

?

Thanks,
Ludo’.



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/ 

Above is the section of vm.scm that seems to have no problem declaring the 
mount tag as just “(device “store”)”. 

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 :
> > https://fulbert.neocities.org/guix/10-years-of-guix/simon-tournier-guix-repl/guix-repl-exemples.html
> 
> Oh really cool!  Thanks!
> 
> I have started a tiny example [1] submitted as patch#58339 [2] where the
> aim is to document similarly.  You work is far more complete. :-)
> 
> Maybe it could be worth to use your note for the Cookbook, WDYT?
> 
> 
> 1: 
> 2: 
> 
> Cheers,
> simon
> 
> 
> PS: The name is Tournier, with ’T’.  Fournier, with ’F’ is someone else. ;-)

Hi and my appologies for the name \^^.

Of course, if *you* think it is suitable for an entry in the cookbook, who 
would I be to oppose that ?! :p

Although I have never done it, I think it shouldn't be too much work to adapt, 
convert and integrate to texinfo/cookbook… so, I will make a patch proposal 
when I'm done with that.

Best regards,



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 clarification.

Cheers,
simon



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 partly proprietary and include telemetry.

-- (



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 at the xterm level.  Where it makes sense, I wrap
> commands into scripts that can be called from VS Code, and then demo
> them from VS Code too.

Do you have a Guix recipe for building VS Code?


> So far, only 1 or 2 developers will currently go as far as writing
> scripts in Guile (for example more advanced/custom manifests), but if I 
> provide
> Guile scripts most developers are comfortable knowing what to do with
> them - running them from 'guix repl' from example. Developers are
> getting more confident/ambitious with more advanced usage, which I
> promote as where much of the real power of Guix's approach really lies!

Do you recommend some VS Code plugins for editing Guile Scheme?


Cheers,
simon



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 :
> https://fulbert.neocities.org/guix/10-years-of-guix/simon-tournier-guix-repl/guix-repl-exemples.html

Oh really cool!  Thanks!

I have started a tiny example [1] submitted as patch#58339 [2] where the
aim is to document similarly.  You work is far more complete. :-)

Maybe it could be worth to use your note for the Cookbook, WDYT?


1: 
2: 

Cheers,
simon


PS: The name is Tournier, with ’T’.  Fournier, with ’F’ is someone else. ;-)