bug#55484: closed (Setup PS1 for 'guix shell/environment' in guix-install.sh)

[GNU bug Tracking System]

Your message dated Fri, 07 Oct 2022 08:30:01 -0400
with message-id <87wn9b6cl2.fsf@gmail.com>
and subject line Re: bug#55484: Setup PS1 for 'guix shell/environment' in 
guix-install.sh
has caused the debbugs.gnu.org bug report #55484,
regarding Setup PS1 for 'guix shell/environment' in guix-install.sh
to be marked as done.

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


-- 
55484: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55484
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Setup PS1 for 'guix shell/environment' in guix-install.sh
>
>
>
>
> Date: 
>
> Tue, 17 May 2022 11:18:00 -0400
>
>
>
>
> Hello Guix,
>
> This is a feature request to take care of configuring PS1 in ~/.bashrc
> (or the most suitable place) for users of guix-install.sh.
>
> It's a small thing but it provides a nicer user experience when they can
> visually see they have entered a Guix environment.
>
> Thanks,
>
> Maxim
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#55484: Setup PS1 for 'guix shell/environment' in guix-install.sh
>
>
>
>
> Date: 
>
> Fri, 07 Oct 2022 08:30:01 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Hi,
>
> Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
>
> > Hi,
> >
> > Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
> >
> >> Hello Guix,
> >>
> >> This is a feature request to take care of configuring PS1 in ~/.bashrc
> >> (or the most suitable place) for users of guix-install.sh.
> >>
> >> It's a small thing but it provides a nicer user experience when they can
> >> visually see they have entered a Guix environment.
> >
> > This may be a bit more involved then simply appending the snippet to
> > their ~/.bashrc (if available), as Debian for example ships its own PS1
> > configuration there.  I guess we could prompt the user whether they want
> > the script to override their PS1 configuration.
>
> I found a not too convoluted way to do this and pushed as 9ca0f9e5a9.
>
> Closing.
>
> -- 
> Thanks,
> Maxim
>
>
> --- End Message ---