bug #54362 [Filesystem] preserve the file modification time when mirroring directories (xabbuh)

fabpot · fabpot · commit afc658d2fc86 · 2024-03-21T11:28:54.000+01:00
This PR was merged into the 5.4 branch. Discussion ---------- [Filesystem] preserve the file modification time when mirroring directories | Q | A | ------------- | --- | Branch? | 5.4 | Bug fix? | yes | New feature? | no | Deprecations? | no | Issues | Fix #54327 | License | MIT Commits ------- d232026 preserve the file modification time when mirroring directories
diff --git a/src/Symfony/Component/Filesystem/Filesystem.php b/src/Symfony/Component/Filesystem/Filesystem.php
@@ -72,6 +72,9 @@ public function copy(string $originFile, string $targetFile, bool $overwriteNewe
                 // Like `cp`, preserve executable permission bits
                 self::box('chmod', $targetFile, fileperms($targetFile) | (fileperms($originFile) & 0111));
 
+                // Like `cp`, preserve the file modification time
+                self::box('touch', $targetFile, filemtime($originFile));
+
                 if ($bytesCopied !== $bytesOrigin = filesize($originFile)) {
                     throw new IOException(sprintf('Failed to copy the whole content of "%s" to "%s" (%g of %g bytes copied).', $originFile, $targetFile, $bytesCopied, $bytesOrigin), 0, null, $originFile);
                 }

Original file line number	Diff line number	Diff line change
`@@ -72,6 +72,9 @@ public function copy(string $originFile, string $targetFile, bool $overwriteNewe`
`72`	`72`	// Like `cp`, preserve executable permission bits
`73`	`73`	`self::box('chmod', $targetFile, fileperms($targetFile) \| (fileperms($originFile) & 0111));`
`74`	`74`
	`75`	+ // Like `cp`, preserve the file modification time
	`76`	`+ self::box('touch', $targetFile, filemtime($originFile));`
	`77`	`+`
`75`	`78`	`if ($bytesCopied !== $bytesOrigin = filesize($originFile)) {`
`76`	`79`	`throw new IOException(sprintf('Failed to copy the whole content of "%s" to "%s" (%g of %g bytes copied).', $originFile, $targetFile, $bytesCopied, $bytesOrigin), 0, null, $originFile);`
`77`	`80`	`}`