Local cache of PCHs

[wodin]

One issue which may arise here is that the user running jank for the
first time will need perms to write to where jank is installed. If this
becomes an issue, we can add support for saving this someplace local,
like ~/.jank as well.

It might be a good idea to use the XDG Base Directory Specification to avoid creating a new top level hidden directory in the user's home directory:

$XDG_CACHE_HOME defines the base directory relative to which user-specific non-essential data files should be stored. If $XDG_CACHE_HOME is either not set or empty, a default equal to $HOME/.cache should be used.

[jeaye]

Yep, great call out. That's a much better approach. :)

…

On January 28, 2023 9:00:27 PM PST, Michael Wood ***@***.***> wrote: > One issue which may arise here is that the user running jank for the > first time will need perms to write to where jank is installed. If this > becomes an issue, we can add support for saving this someplace local, > like ~/.jank as well. It might be a good idea to use the [XDG Base Directory Specification](https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html) to avoid creating a new top level hidden directory in the user's home directory: > **$XDG_CACHE_HOME** defines the base directory relative to which user-specific non-essential data files should be stored. If $XDG_CACHE_HOME is either not set or empty, a default equal to **$HOME/.cache** should be used. -- Reply to this email directly or view it on GitHub: #21 You are receiving this because you are subscribed to this thread. Message ID: ***@***.***>

[jeaye]

We do this now, ever since b1d1f2c.