On Fri, Oct 21, 2022 at 07:51:14AM +0000, Emmanuel Dreyfus wrote: > On Fri, Oct 21, 2022 at 07:39:45AM +0200, Martin Husemann wrote: > [csh] > > Or just remove it... > > It would be a bad joke for anyone that has set it as root shell.
Oh, I did not mean to suggest marking it as "obsolete" and auto-removing the binary on updates, and certainly we would need some good update plan (docs, hints at upgrade time, ...) Martin
