diff options
| author | John Eismeier <john.eismeier@gmail.com> | 2017-10-03 15:15:40 +0000 |
|---|---|---|
| committer | Rémy Coutable <remy@rymai.me> | 2018-08-29 17:35:41 +0200 |
| commit | 2c06a13854f634cd2969763e7f507dfcaa5d7618 (patch) | |
| tree | 7a8ac7f743e10cea0ce62e661be7b826cd791ecc /scripts | |
| parent | 735da8dde7b0d654f0e04049acf7814fc049e34c (diff) | |
| download | gitlab-ce-2c06a13854f634cd2969763e7f507dfcaa5d7618.tar.gz | |
Update scripts/lint-doc.sh
Originally submitted at
https://gitlab.com/gitlab-org/gitlab-ee/merge_requests/3056.
Signed-off-by: Rémy Coutable <remy@rymai.me>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lint-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 178b209aacf..848364b4a9b 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -5,7 +5,7 @@ cd "$(dirname "$0")/.." # Use long options (e.g. --header instead of -H) for curl examples in documentation. echo '=> Checking for cURL short options...' grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ >/dev/null 2>&1 -if [ $? == 0 ] +if [ $? -eq 0 ] then echo '✖ ERROR: Short options for curl should not be used in documentation! Use long options (e.g., --header instead of -H):' >&2 |