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

[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 [PATCH v2] scripts: repl: Extend REPL %load-path with all channels.
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: 
>
> [PATCH v2] scripts: repl: Extend REPL %load-path with all channels.
>
>
>
>
> Date: 
>
> Fri, 17 Feb 2023 15:56:27 +0100
>
>
>
>
> 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.
> ---
>
> Hi,
>
> Instead I am proposing this, it avoids to load all the module.
>
> For testing, once applied to some Guix checkout, just run:
>
> $ ./pre-inst-env guix pull --disable-authentication -C /tmp/channels.scm -p 
> /tmp/new
> $ echo '(use-modules (rde features))' | /tmp/new/bin/guix repl /dev/stdin
>
> where /tmp/channels.scm reads,
>
> (list
>  (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"))))
>  (channel
>   (name 'guix)
>   (url "/home/simon/src/guix/guix")))
>
> tweaking the path to your Guix checkout.
>
> Cheers,
> simon
>
>
>  guix/scripts/repl.scm | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm
> index 787c63d48e..fc55d79c41 100644
> --- a/guix/scripts/repl.scm
> +++ 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.
>                    (set-user-module)
>                    ;; Do not exit repl on SIGINT.
>                    ((@@ (ice-9 top-repl) call-with-sigint)
>
> base-commit: cb45e9d0dc6cbe6f69a858f71252411610b4ce82
> -- 
> 2.38.1
>
>
>
>
> --- 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 ---