Use UUID's to generate random tempname on Windows (#33785) · BioTurboNick/julia@9472d72 · GitHub

Commit

Use UUID's to generate random tempname on Windows (JuliaLang#33785)

Browse files

* Use UIUD to create random tempname on Windows

* Use underscores and remove extension

* Truncate to 10 chars the UUID

* Generate the random name from a random byte array

* Update file.jl

(cherry picked from commit d759b5b)

Loading branch information

musm authored and BioTurboNick committed Apr 13, 2020

1 parent 7fbbeb7 commit 9472d72