The standard way to change your login shell is with "chsh". In theory you
should be able to do:
$ chsh -s /usr/bin/zsh
and the next time you login, that should be your shell. "man chsh" for more
details. I say "in theory" because I've never tried it on toolforge. I
can't see any reason why it shouldn't work, but....
On Nov 11, 2021, at 7:44 PM, Huji Lee
<huji.huji(a)gmail.com> wrote:
And also about the proper way to change the shell for tools accounts.