On 2024-02-15 17:18:43 +0000, Thorsten Glaser wrote: > Russ Allbery dixit: > > >3. Something else that I don't yet understand happened that caused pkexec > > to detect the shell as /usr/bin/mksh instead of /bin/mksh. I'm not > > What sets $SHELL for the reporter’s case? Fix that instead.
$SHELL is meant to be set by the user. To set $SHELL to the current shell, for instance, the result with mksh: $ SHELL=$(readlink /proc/$$/exe) $ echo $SHELL /usr/bin/mksh And I suppose that /usr/bin/mksh comes from the "real path". > login(1) sets it to the path from passwd(5), which hopefully > is from shells(5). login(1) is not the only way to start a shell. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)