diff options
| author | Carl Dong <contact@carldong.me> | 2021-02-26 17:42:02 -0500 |
|---|---|---|
| committer | Carl Dong <contact@carldong.me> | 2021-04-05 19:13:54 -0400 |
| commit | 44f6d4f56b16e1dc5e8a23318b8e7aad0665f178 (patch) | |
| tree | 3f614a858548563330f9fd1a3c3ee60cb7c2c87d /contrib/gitian-keys | |
| parent | 84912d4b24382ae022da3a863bd6caa2b8948d94 (diff) | |
guix: Record precious directories and add guix-clean
Many users have reported problems that stem from having an unclean
working tree. To that end, I've written a guix-clean script which should
help reset the working tree while respecting user-specified precious
directories.
Precious directories, such as:
- SOURCES_PATH
- BASE_CACHE
- SDK_PATH
- OUTDIR
Should be preserved when cleaning the working tree, and are thus
recorded in ./contrib/guix/var/precious_dirs.
The ./contrib/guix/guix-clean script is able to parse that file and make
sure to avoid them when cleaning out the working tree.
Diffstat (limited to 'contrib/gitian-keys')
0 files changed, 0 insertions, 0 deletions