diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-14T17·08+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-31T22·10+0000 |
commit | 7db4f8d7747cf1c4a40fdf399a36aa9d59d92792 (patch) | |
tree | ff645938b69f31108258c874a9d6b3bc88bf02fb /.git-blame-ignore-revs | |
parent | 049ec229437a8c83196c96c83779ece6de971b0c (diff) |
fix(tvix/eval): gently attempt to create state dir r/4547
If the directory in which REPL history is stored does not exist, gently try to create it, but do not raise an error if it doesn't work. We may want to warn about it, but in general this sort of non-essential feature should not cause a hard failure. Change-Id: If4fe8db0c7893c39627efe72c9cd9ebf7ed63f04 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6213 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions