diff --git a/src/MinEdLauncher/Extensions.fs b/src/MinEdLauncher/Extensions.fs index 2a30022..4daf8d1 100644 --- a/src/MinEdLauncher/Extensions.fs +++ b/src/MinEdLauncher/Extensions.fs @@ -339,9 +339,10 @@ module FileIO = let hasWriteAccess directory = try - let temp = Path.Combine(directory, "deleteme.txt") - File.WriteAllText(temp, "") - File.Delete(temp) + let originalWriteTime = Directory.GetLastWriteTimeUtc(directory); + use _ = File.Create(Path.Combine(directory, Path.GetRandomFileName()), 1, FileOptions.DeleteOnClose) + // Restore original write time + Directory.SetLastWriteTimeUtc(directory, originalWriteTime) true with | :? UnauthorizedAccessException -> false