CodingGuidelines: Add a note about spaces after redirection
authorTim Henigan <tim.henigan@gmail.com>
Fri, 24 Feb 2012 23:12:57 +0000 (18:12 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Feb 2012 20:41:13 +0000 (12:41 -0800)
During code review of some patches, it was noted that redirection operators
should have space before, but no space after them.

Signed-off-by: Tim Henigan <tim.henigan@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/CodingGuidelines

index 483008699f923be17926e8ed938ae17868f6ddf5..cfe3785909a813bb3a115e02996b3201ade3636f 100644 (file)
@@ -35,6 +35,13 @@ For shell scripts specifically (not exhaustive):
 
  - Case arms are indented at the same depth as case and esac lines.
 
+ - Redirection operators should be written with space before, but no
+   space after them.  In other words, write 'echo test >"$file"'
+   instead of 'echo test> $file' or 'echo test > $file'.  Note that
+   even though it is not required by POSIX to double-quote the
+   redirection target in a variable (as shown above), our code does so
+   because some versions of bash issue a warning without the quotes.
+
  - 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.