On Thu, 25 Mar 2021 at 13:39, Daniel Caillibaud <ml@lairdutemps.org> wrote:

Sinon c'est pas très grave, y'a d'autres solutions comme
- mettre zsh par défaut pour tous les users (qui ont un shell), un peu extrémiste… (mais je
  suis quasi le seul à me connecter à ces machines)
- créer un user avec zsh et les bons droits sudo puis passer par lui pour ensuite changer de
  user (un peu pénible)



À une époque où je gérais un parc hétéroclite, le seul shell dispo partout était /bin/csh puis il y avait le script de démarrage qui lançait bash suivant où il était. pour supprimer le csh, il suffisait de faire un exec bash pour ne pas avoir de processus inutile.

Concernant la demande initiale, PermitUserEnvironment pourrait être un problème de sécurité. Si vous êtes en environnement statique pourquoi ne pas se baser sur l'adresse source ? Ou créer un script/fonction bash pour switcher rapidement ?

Aussi ce n'est pas parce que son shell est bash que l'on ne peut pas lancer de shell zsh ...

Pierre.