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

Debbugs page

Maxim Cournoyer wrote 3 years ago
(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
Maxim Cournoyer wrote 3 years ago
(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
Maxim Cournoyer wrote 2 years ago
(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
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help