Comment se comportent les éditeurs de texte lorsqu’un fichier est ouvert dans l’éditeur et qu’il a été modifié en même temps? C’est la question que vous ne vous êtes probablement jamais posée et à laquelle cet article répond. TL;DR : plus ou moins bien mais l’écrasement sauvage est évité. Dans un terminal Le comportement est […]
↧