ligo.skymap.util.file
File tools.
Like os.rename, but works across different devices because it catches and handles EXDEV (Invalid cross-device link) errors.
os.rename
EXDEV
Invalid cross-device link
Remove a file, or be silent if the file does not exist, like rm -f.
rm -f
Examples
>>> with tempfile.TemporaryDirectory() as d: ... rm_f('test') ... with open('test', 'w') as f: ... print('Hello world', file=f) ... rm_f('test')
rename()
rm_f()