top | item 22932640 (no title) kjetijor | 5 years ago ed might do truncate/write, and vim might do create/write/rename. New file, cache miss. discuss order hn newest raverbashing|5 years ago Yeah I feel the right way to solve this bug (in the compiler) would be to stat the file. Or maybe docker mounts it with -noatime (or something similar?) alexlarsson|5 years ago Yeah, this is obviously a replace vs in-place modify difference. Could replace the script with a simple copy-to-temp+rename-back. cryptonector|5 years ago Or not use ed(1). load replies (1)
raverbashing|5 years ago Yeah I feel the right way to solve this bug (in the compiler) would be to stat the file. Or maybe docker mounts it with -noatime (or something similar?)
alexlarsson|5 years ago Yeah, this is obviously a replace vs in-place modify difference. Could replace the script with a simple copy-to-temp+rename-back. cryptonector|5 years ago Or not use ed(1). load replies (1)
raverbashing|5 years ago
alexlarsson|5 years ago
cryptonector|5 years ago