[Top][All Lists]

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

Re: Changing user-account's shell

From: Tanguy Le Carrour
Subject: Re: Changing user-account's shell
Date: Fri, 19 Apr 2019 23:24:27 +0200
User-agent: NeoMutt/20180716

Le 04/19, Pierre Neidhardt a écrit :
> Tanguy Le Carrour <address@hidden> writes:
> > Unfortunately, calling Fish from Bash is not really sexy! This is what I
> > do on systems where I cannot set my default shell and I don't like to have 
> > to
> > do one extra ctrl+d to close a terminal. ^_^'
> You would not, because when you run
> --8<---------------cut here---------------start------------->8---
> exec fish "$@"
> --8<---------------cut here---------------end--------------->8---
> it replaces the Bash process, so exiting Fish would effectively
> terminate the direct child process of the terminal which would then close
> automatically.

Oh oh oh… and now I understand the difference between `fish` and `exec
fish`! ^_^' … It works perfectly!

I still don't know if I'll go for this solution or the `chsh` as
suggested by Ludo'.



reply via email to

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