Post · bonfire.cafe

:linux: #bash
Je copie-colle cette astuce simple, ça peut rendre service: Deux lignes pour empêcher le lancement simultané de scripts shells. Vous pouvez aussi partager le nom du lock entre plusieurs scripts pour éviter qu'ils soient lancés en même temps.

exec 200>"/tmp/MonSuperVerrou.lock"
flock -n 200 || { echo "Une autre instance du script est en cours d'exécution."; read; exit 1; }

Le lock est automatiquement détruit quand le script se termine (normalement ou plantage).

#bash

tanavit

@tanavit@toot.aquilenet.fr · 2 hours ago

@sebsauvage

Je n'en comprends pas le fonctionnement. 🤔

Plus précisemment :
- exec est-il équivalent à echo dans ce contexte ?
- 200 est il le nom d'un fichier ?

sebsauvage

@sebsauvage@framapiaf.org · 2 hours ago

@tanavit
Le « exec 200>"/tmp/MonSuperVerrou.lock" » ça ouvre en écriture le fichier /tmp/MonSuperVerrou.lock et l'attribut au handle 200 (1 c'est stdout, 2 c'est stderr).
Le fait que le script cesse de fonctionner va automatiquement fermer le fichier en écriture et relâcher le handle sur le fichier.

La commande flock sert juste tester si le fichier est verrouillé.

sebsauvage

@sebsauvage@framapiaf.org · 2 hours ago

@tanavit
La commande exec sert généralement à exécuter une autre commande (sans revenir au script courant), mais elle peut aussi être utilisée pour manipuler les handles. (Typiquement pour qu'un script shell redirige de lui-même sa sortie vers un log. Exemple: exec 1>monlog.log)

Donc là on créé un handle 200 qu'on utilise pour ouvrir le fichier de lock en écriture. Le lock est conservé durant toute l'exécution du script et il est libéré par le système quand le script se termine.