Je pense que ce comportement n'est volontairement pas défini, et il faut s'attendre à des résultats différents selon les version de bash, voir selon la libc à laquelle il est lié.
Modifier un script en cours d'exécution est généralement une mauvaise idée.
Si tu dois absolument faire ta modification avant que l'exécution précédente soit terminée, il vaut mieux faire une copie et travailler sur celle-là pendant que l'exécution précédente se termine.
[^] # Re: script != binaire
Posté par wismerhill . En réponse au message impossible de modifier un exécutable lorsqu'il est en exécution. Évalué à 5.
Je pense que ce comportement n'est volontairement pas défini, et il faut s'attendre à des résultats différents selon les version de bash, voir selon la libc à laquelle il est lié.
Modifier un script en cours d'exécution est généralement une mauvaise idée.
Si tu dois absolument faire ta modification avant que l'exécution précédente soit terminée, il vaut mieux faire une copie et travailler sur celle-là pendant que l'exécution précédente se termine.