diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-06-28 08:22:13 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-07-02 14:38:12 -0700 |
| commit | 76580e8954418fcc17fd96d7f91a7bc4616c9314 (patch) | |
| tree | 5cb4b5c18a00966c91faae6262b9716e752b1896 /tools/gerrit-hook | |
| parent | feat(flake): add pre-commit hooks (diff) | |
| download | world-76580e8954418fcc17fd96d7f91a7bc4616c9314.tar.gz | |
fix(home/git): install pre-commit tool
The tool `pre-commit' is installed as part of the nix shell for this repository, but not on the host (or in my profile). It means that if I try to make a commit via Emacs/magit, it fails, since it's not in my path. By installing it with home-manager, it's in the path, and it can be used by magit when creating a commit. Change-Id: Ifa61d0be1027043eecaf11dd40fbba1ed2f5a9a6 Reviewed-on: https://cl.fcuny.net/c/world/+/591 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to 'tools/gerrit-hook')
0 files changed, 0 insertions, 0 deletions