Setup PS1 for 'guix shell/environment' in guix-install.sh

  • Done
  • quality assurance status badge
Details
One participant
  • Maxim Cournoyer
Owner
unassigned
Submitted by
Maxim Cournoyer
Severity
normal
M
M
Maxim Cournoyer wrote on 17 May 2022 17:18
(name . bug-guix)(address . bug-guix@gnu.org)
87v8u4i3x3.fsf@gmail.com
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
M
M
Maxim Cournoyer wrote on 11 Jun 2022 05:45
(address . 55484@debbugs.gnu.org)
87leu3g8wk.fsf@gmail.com
Hi,

Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

Toggle quote (8 lines)
> 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.

Maxim
M
M
Maxim Cournoyer wrote on 7 Oct 2022 14:30
(address . 55484-done@debbugs.gnu.org)
87wn9b6cl2.fsf@gmail.com
Hi,

Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

Toggle quote (17 lines)
> 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
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 55484@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 55484
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch