diff options
author | Timo Wilken | 2023-11-02 23:57:18 +0100 |
---|---|---|
committer | Timo Wilken | 2023-11-02 23:57:18 +0100 |
commit | 16a694a210a6c20bb2d904e9468732dfdf11d6d5 (patch) | |
tree | 1f776d57368f60eda70dbde6179e9d1a64da8960 /tw/system/cern.scm | |
parent | 6d2872c94c20dd6c4b0e296163aaffebc786ba23 (diff) |
Cache restic repos depending on repository type
It makes more sense never to use a cache for local repositories (since they're
on local disk already), but to use it (and keep it clean) for remote REST
repositories.
Diffstat (limited to 'tw/system/cern.scm')
0 files changed, 0 insertions, 0 deletions