Subject: bug#61343: closed (Re: bug#61574: [PATCH v2] scripts: repl: Extend REPL %load-path with all channels.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 27 Feb 2023 14:02:02 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
61343: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61343
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#61574: [PATCH v2] scripts: repl: Extend REPL %load-path with all channels.
From: Ludovic Courtès <[email-masked]>
To: Simon Tournier <[email-masked]>
Cc: Josselin Poiret <[email-masked]>, [email-masked], [email-masked], [email-masked]
Date: Mon, 27 Feb 2023 15:01:11 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Simon,

Simon Tournier <[email-masked]> skribis:

> Fixes <https://bugs.gnu.org/61343>.
> Reported by 宋文武 <[email-masked]>.
>
> * 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’.

Subject: modules from channels is not available to "guix repl"
From: 宋文武 <[email-masked]>
To: [email-masked]
Date: Tue, 07 Feb 2023 16:59:15 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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!