guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] environment: Set a default value for PS1.


From: Cyril Roelandt
Subject: Re: [PATCH] environment: Set a default value for PS1.
Date: Wed, 30 Mar 2016 15:28:55 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0

On 03/28/2016 03:22 AM, David Thompson wrote:
> +            ;; Set a reasonable default PS1.
> +            (setenv "PS1" "[ENV] address@hidden \\w\\$ ")
> +
Would it be an acceptable feature to let the user ask for their own PS1?
I very often have to make sure my code works on both Python 2.7 and
Python 3.4, and it would be very helpful to have environments named
"(py27)" and "(py34)" instead of just "[ENV]".

Cyril.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]