Vous pouvez grep la sortie de screen -list
pour le nom de la session que vous recherchez :
if ! screen -list | grep -q "myscreen"; then
# run bash script
fi
Vous pouvez interroger la commande "select" de l'écran pour une session particulière ; le résultat du shell est '0' si la session existe, et '1' si la session d'écran nommée n'est pas trouvée :
$ screen -S Tomcat $ screen -S Tomcat -Q select . ; echo $? 0
contre :
$ screen -S Jetty -Q select . ; echo $? No screen session found. 1
Notez que le '.'
après le select
est facultatif, mais peut être plus robuste.