Re: How do you get different $PS1 for /bin/sh and /bin/ksh?

[Tom H]

On Thu, Sep 17, 2020 at 3:16 PM Ottavio Caruso
<ottavio2006-usenet2...@yahoo.com> wrote:
> On 17/09/2020 10:40, Tom H wrote:
>>
>> You've said that you're now sourcing "$HOME/.kshrc" if
>>"SKSH_VERSION" exists.
>>
>> You could add the sourcing of "$HOME/.shrc" if "$SH_VERSION" exists.
>>
>> Or you could export ENV and use a case-esac of this kind:
>>
>> case "$0" in
>> *ksh)
>> ...
>> PS1='\u@\h:\w\$ '
>> ;;
>> *sh)
>> ...
>> PS1='${USER}@${HOST}:${PWD}\$ '
>> ;;
>> esac
>
> This solves the problem. Thanks.

You're welcome.

But, out of curiosity, which option did you choose? TIA