Stream: general

Topic: Folders for Rust projects?


RalfJ (Jun 15 2019 at 19:44, on Zulip):

Miri needs a cache folder somewhere on the system. Do we have some kind of policy how official Rust projects usually pick those? Also see https://github.com/rust-lang/miri/pull/774.

RalfJ (Jun 15 2019 at 19:44, on Zulip):

in particular we can set an "organization" and a "qualifier" which at least on macOS become a reverse domain name, so it might make sense to pick "rust-lang" and "org"?

RalfJ (Jun 15 2019 at 19:44, on Zulip):

on Linux none of this matters and on Windows only the organization is relevant

Jake Goulding (Jun 15 2019 at 20:45, on Zulip):

on Linux none of this matters

haha. Linux users are the most vocal about this

RalfJ (Jun 15 2019 at 21:27, on Zulip):

no what I mean is that "organization" and "qualifier" are ignored on Linux

RalfJ (Jun 15 2019 at 21:27, on Zulip):

the crate picks the right place (following XDG on Linux) automatically, you just have to fill in some blanks

Luca Barbato (Jun 18 2019 at 08:33, on Zulip):

using org.rust-lang.miri would probably make sense

Luca Barbato (Jun 18 2019 at 08:33, on Zulip):

and on unix-like $HOME/.config/miri seems sensible

Laurențiu Nicola (Jun 18 2019 at 09:14, on Zulip):

.cache for caches, please

Laurențiu Nicola (Jun 18 2019 at 09:16, on Zulip):

See https://github.com/rust-lang/cargo/pull/5183. That directories crate should work.

Luca Barbato (Jun 18 2019 at 11:58, on Zulip):

Oh right!

Last update: Nov 20 2019 at 11:35UTC