Closed giordano closed 9 months ago
Scratch.jl allows creating a temporary area (${depot}/scratchspaces) where to write some data needed by packages, without touching the package directory. It'd be useful to optionally being able to cache it.
Scratch.jl
${depot}/scratchspaces
Scratch.jlallows creating a temporary area (${depot}/scratchspaces) where to write some data needed by packages, without touching the package directory. It'd be useful to optionally being able to cache it.