Howard Chu @ Symas on Nostr: npub1aza2n…3c2m8 closing and swapping files seems your best bet. That's really only ...

npub1aza2n933qjucyr65phn5h8wu35kkdhxu90gl0a98jqxmg87krp2sp3c2m8 (npub1aza…c2m8) closing and swapping files seems your best bet. That's really only a couple syscalls, while copying the data could take substantial time. On non-Windows you could open the new env first and use it immediately, renaming later. Windows unfortunately can't rename an open file.