Le Thu, Oct 08, 2020 at 06:04:24PM +0200, Marc Chantreux a écrit : > > et il me semble que meme sous debian (ou ubuntu?) il avait été évoqué de > virer bash pour dash. ce serait logique! Bonjour Marc, c'est fait depuis Squeeze: $ ls -lh /bin/sh lrwxrwxrwx 1 root root 4 janv. 18 2019 /bin/sh -> dash Cordialement, -- Charles Plessy Akano, Uruma, Okinawa, Japan