Merge branch 'jk/commit-die-on-bogus-ident'

diff --git a/Documentation/CodingGuidelines b/Documentation/CodingGuidelines
index 5aa2d34f8b48f998d851fc8bab17c0186c90df8d..1b1c45df5ce3ef30e588555bbd5ab404c2b7397c 100644 (file)
--- a/Documentation/CodingGuidelines
+++ b/Documentation/CodingGuidelines
@@ -31,6 +31,10 @@ But if you must have a list of rules, here they are.
 
 For shell scripts specifically (not exhaustive):
 
+ - We use tabs for indentation.
+
+ - Case arms are indented at the same depth as case and esac lines.
+
  - We prefer $( ... ) for command substitution; unlike ``, it
    properly nests.  It should have been the way Bourne spelled
    it from day one, but unfortunately isn't.