From 346a2bb80a35fbc9a478c0bf57679075db2ad99f Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Thu, 23 Jun 2022 15:14:17 +0200
Subject: [PATCH] Improve pre-commit error message
---
bob/devtools/scripts/development.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/development.py b/bob/devtools/scripts/development.py
index f923934e..ec9676a7 100644
--- a/bob/devtools/scripts/development.py
+++ b/bob/devtools/scripts/development.py
@@ -89,8 +89,11 @@ def checkout(ctx, names, use_https, subfolder):
subprocess.check_call(["pre-commit", "install"], cwd=dest)
except subprocess.CalledProcessError:
click.echo(
- "pre-commit installation failed. Please install pre-commit manually."
+ "pre-commit git hook installation failed. "
+ "Please make sure you have pre-commit installed "
+ "and its binary is in the PATH."
)
+ raise
# the group command must be at the end of this file for plugins to work.
--
GitLab