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

[GNU bug Tracking System]

Your message dated Mon, 27 Feb 2023 15:01:11 +0100
with message-id <87sferky1k.fsf@gnu.org>
and subject line Re: bug#61574: [PATCH v2] scripts: repl: Extend REPL 
%load-path with all channels.
has caused the debbugs.gnu.org bug report #61343,
regarding modules from channels is not available to "guix repl"
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
61343: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61343
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> modules from channels is not available to "guix repl"
>
>
>
>
> Date: 
>
> Tue, 07 Feb 2023 16:59:15 +0800
>
>
>
>
> 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-fingerprint
>      "2841 9AC6 5038 7440 C7E9  2FFA 2208 D209 58C1 DEB0"))))
>  %default-channels)
> --8<---------------cut here---------------end--------------->8---
>
> But then, Run:
>   echo '(use-modules (rde features))' | guix repl /dev/stdin
> Will get error: no code for module (rde features)
>
> Well, Run:
>   echo '(use-modules (gnu packages) (rde features))' | guix repl /dev/stdin
> Will pass!
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#61574: [PATCH v2] scripts: repl: Extend REPL %load-path with all channels.
>
>
>
>
> Date: 
>
> Mon, 27 Feb 2023 15:01:11 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hi Simon,
>
> Simon Tournier <zimon.toutoune@gmail.com> skribis:
>
> > Fixes <https://bugs.gnu.org/61343>.
> > Reported by 宋文武 <iyzsong@envs.net>.
> >
> > * guix/scripts/repl.scm (define-command): Before starting the REPL,
> > run (current-profile) which makes available all channels.
>
> [...]
>
> > +++ b/guix/scripts/repl.scm
> > @@ -211,6 +211,7 @@ (define script
> >                ((guile)
> >                 (save-module-excursion
> >                  (lambda ()
> > +                  (current-profile) ;Run (%package-module-path) as explained 
> > above.
>
> I tweaked the comment :-) and applied.
>
> Thanks!
>
> Ludo’.
>
>
> --- End Message ---