bug#61343: modules from channels is not available to "guix repl"

2023-02-14 Thread Simon Tournier
Hi, On mar., 07 févr. 2023 at 16:59, 宋文武 via Bug reports for GNU Guix wrote: > --8<---cut here---start->8--- > (cons* > (channel > (name 'rde) > (url "https://git.sr.ht/~abcdw/rde";) > (introduction >(make-channel-introduction > "257cebd587b66e

bug#61343: modules from channels is not available to "guix repl"

2023-02-07 Thread 宋文武 via Bug reports for GNU Guix
I have add the rde channel to my guix, and "guix pull". --8<---cut here---start->8--- (cons* (channel (name 'rde) (url "https://git.sr.ht/~abcdw/rde";) (introduction (make-channel-introduction "257cebd587b66e4d865b3537a9a88cccd7107c95" (openpgp-