Editer un script bash pendant qu'il est en cours d'execution
Par zogzog, dimanche 17 juillet 2016 à 17:54 :: General :: #73 :: rss
On est en 2016 et bash n'est toujours pas capable de gérer correctement la situation où on édite un script alors qu'il est en cours d'exécution (gérer correctement, càd ignorer les changements et continuer à executer le script initial, et pas tenter d'executer un bout semi-aléatoire de la nouvelle version du script pour finalement se planter comme une merde)
Commentaires
Aucun commentaire pour le moment.
Ajouter un commentaire
Les commentaires pour ce billet sont fermés.