Ich hatte ja mal erwähnt, dass es ein wenig nervig ist wenn man auf mehreren Servern (in jeweils mehreren Verzeichnissen) die gleiche Datei aktualisieren will. Das angeführte Beispiel waren selbst geschriebene Wordpress-Plugins.
Nachdem ich dieses Problem in der letzten Zeit für meinen Geschmack zu oft hatte musste endlich mal eine Lösung her für meine persönliche Toolbox.
Diese kommt in Form eines kleinen PHP-Scripts und ist weder schön noch perfekt, aber sie funktioniert!