Documentation: explain push.default option a bit more
[gitweb.git] / Documentation / CodingGuidelines
index cfe3785909a813bb3a115e02996b3201ade3636f..45577117c2a02dd4a4f9e63e78139b3df665b8f2 100644 (file)
@@ -46,6 +46,11 @@ For shell scripts specifically (not exhaustive):
    properly nests.  It should have been the way Bourne spelled
    it from day one, but unfortunately isn't.
 
+ - If you want to find out if a command is available on the user's
+   $PATH, you should use 'type <command>', instead of 'which <command>'.
+   The output of 'which' is not machine parseable and its exit code
+   is not reliable across platforms.
+
  - We use POSIX compliant parameter substitutions and avoid bashisms;
    namely: