diff options
author | Alper Nebi Yasak <alpernebiyasak@gmail.com> | 2022-08-27 15:27:48 +0300 |
---|---|---|
committer | Alper Nebi Yasak <alpernebiyasak@gmail.com> | 2022-08-27 17:35:55 +0300 |
commit | ef39e05bb5df505774b42a8739c3e7e57d43dd36 (patch) | |
tree | 52a54f8199b96ce0a098f0f079109024b6f15b41 /resources/grub/background | |
parent | 764a439a8cbad7d55455494f025f3e77c9fa52c0 (diff) |
download: Allow keeping .git dirs with NODELETE=git
Keeping the git repositories is useful while development, e.g. to avoid
git cloning repositories over and over again while debugging download
scripts. Setting the NODELETE environment variable keeps the blobs and
the git repositories. Allow a slightly finer-tuned version of this where
we can keep only the git-related files by setting the variable to "git".
Signed-off-by: Alper Nebi Yasak <alpernebiyasak@gmail.com>
Diffstat (limited to 'resources/grub/background')
0 files changed, 0 insertions, 0 deletions