Shell pgrep
Résolu/Fermé
remousse
Messages postés
299
Date d'inscription
dimanche 2 novembre 2008
Statut
Membre
Dernière intervention
20 novembre 2014
-
21 mars 2012 à 10:21
remousse Messages postés 299 Date d'inscription dimanche 2 novembre 2008 Statut Membre Dernière intervention 20 novembre 2014 - 21 mars 2012 à 11:29
remousse Messages postés 299 Date d'inscription dimanche 2 novembre 2008 Statut Membre Dernière intervention 20 novembre 2014 - 21 mars 2012 à 11:29
A voir également:
- Shell pgrep
- Classic shell windows 11 - Télécharger - Personnalisation
- Shell startup windows 10 - Guide
- Ssh secure shell download - Télécharger - Divers Web & Internet
- Efi shell version 2.50 - Forum Windows 10
- Shell infrastructure host c'est quoi ✓ - Forum Windows 10
2 réponses
zipe31
Messages postés
36402
Date d'inscription
dimanche 7 novembre 2010
Statut
Contributeur
Dernière intervention
27 janvier 2021
6 422
21 mars 2012 à 10:57
21 mars 2012 à 10:57
Salut,
Essaie plutôt avec un truc du genre :
;-))
Essaie plutôt avec un truc du genre :
#! /bin/bash if mkdir /tmp/verrou 2>/dev/null then ... le reste de ton script à exécuter ... rmdir /tmp/verrou else echo "Le script est déjà en cours d'exécution..." exit 1 fi
;-))
remousse
Messages postés
299
Date d'inscription
dimanche 2 novembre 2008
Statut
Membre
Dernière intervention
20 novembre 2014
6
21 mars 2012 à 11:29
21 mars 2012 à 11:29
Parfait cela fonctionne comme je le souhaitais.
Merci de ta réponse.
Merci de ta réponse.