From 4fdb3625fc47889c73bb4af21da1a67dcb185a65 Mon Sep 17 00:00:00 2001 From: Scott Worley Date: Fri, 10 Apr 2020 23:17:22 -0700 Subject: [PATCH 1/1] This tool is named "pinch" now --- pinch.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pinch.py b/pinch.py index 5bb4e95..6bd7dd3 100644 --- a/pinch.py +++ b/pinch.py @@ -215,7 +215,7 @@ def fetch_resources(v: Verification, channel: Channel) -> None: def git_cachedir(git_repo: str) -> str: # TODO: Consider using pyxdg to find this path. return os.path.expanduser( - '~/.cache/nix-pin-channel/git/%s' % + '~/.cache/pinch/git/%s' % digest_string( git_repo.encode())) -- 2.44.1