Bonjour, On 06/13/2018 11:02 PM, Hugues MORIN wrote:
Au vue de ce que j'ai trouve "vite fait" sur le net, il semblerai que ce soit rattache au bash
Oui c'est tout à fait ça : # Je suis sous un shell Bash. flaf@fldesktop $ echo $0 /bin/bash # La commande shopt est built-in, ie intégrée shell Bash, #donc si on a Bash, on a la commande shopt. flaf@fldesktop $ type shopt shopt is a shell builtin Pour avoir un peu d'aide sur cette commande, on peut taper « help shopt » ou alors consulter la page man bash(1). -- François Lafont