summaryrefslogtreecommitdiffstats
path: root/git_hooks
diff options
context:
space:
mode:
authorSylvestre Ledru <sylvestre.ledru@scilab.org>2011-08-12 10:00:33 +0200
committerVincent COUVERT <vincent.couvert@scilab.org>2011-08-26 11:04:36 +0200
commitd69531aae611ee6dab94056a45e2cb3e362f76c2 (patch)
tree50133697bcec618425349de4633cf056ddde1b37 /git_hooks
parent057ac6b26b21fe2e7bdd7fb6fbe401057040d119 (diff)
downloadscilab-d69531aae611ee6dab94056a45e2cb3e362f76c2.zip
scilab-d69531aae611ee6dab94056a45e2cb3e362f76c2.tar.gz
Also show the linux command (for a lazy c/p/)
Change-Id: Iaa8761d8aec1379288c3afeb22944d0a62891001
Diffstat (limited to 'git_hooks')
-rwxr-xr-xgit_hooks/pre-commit4
1 files changed, 4 insertions, 0 deletions
diff --git a/git_hooks/pre-commit b/git_hooks/pre-commit
index 34585eb..700bc2c 100755
--- a/git_hooks/pre-commit
+++ b/git_hooks/pre-commit
@@ -27,6 +27,8 @@ then
27 echo 27 echo
28 echo "Please configure it with :" 28 echo "Please configure it with :"
29 echo " git config --global hooks.xmllint C:/path/to/xmllint" 29 echo " git config --global hooks.xmllint C:/path/to/xmllint"
30 echo " or "
31 echo " git config --global hooks.xmllint /usr/bin/xmllint"
30 echo 32 echo
31fi 33fi
32 34
@@ -51,6 +53,8 @@ then
51 echo 53 echo
52 echo "Please configure it with :" 54 echo "Please configure it with :"
53 echo " git config --global hooks.indent C:/path/to/indent" 55 echo " git config --global hooks.indent C:/path/to/indent"
56 echo " or "
57 echo " git config --global hooks.indent /usr/bin/indent"
54 echo 58 echo
55fi 59fi
56 60