Re: [bash] select

Le Sat, 9 Dec 2023 14:09:24 -0000 (UTC), Jo Engo a écrit :

<code>
select toto in $(sed "s/^/\"/;s/$/\"/" menu); do  echo $toto; done </>

Bon ça, donc, ça ne marche pas. J'ai trouvé un « solution » que je ne
trouve pas du tout élégante mais qui « marche » :
(pour tester)

#!/bin/bash
read -p "fichier de menu : "
# attention, il y a bien un saut de ligne entre les quotes
 IFS='
' select item in $(cat $filee)
do
echo $item
# faire des trucs
done
# fin script

Quelqu'un a quelque chose de mieux à me proposer ?





--
Si l'électron nous a servi à comprendre beaucoup de choses,
nous n'avons jamais bien compris l'électron lui-même.
-+- Louis de Broglie -+-