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>
This commit is contained in:
parent
735da8dde7
commit
2c06a13854
|
@ -5,7 +5,7 @@ cd "$(dirname "$0")/.."
|
||||||
# Use long options (e.g. --header instead of -H) for curl examples in documentation.
|
# Use long options (e.g. --header instead of -H) for curl examples in documentation.
|
||||||
echo '=> Checking for cURL short options...'
|
echo '=> Checking for cURL short options...'
|
||||||
grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ >/dev/null 2>&1
|
grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ >/dev/null 2>&1
|
||||||
if [ $? == 0 ]
|
if [ $? -eq 0 ]
|
||||||
then
|
then
|
||||||
echo '✖ ERROR: Short options for curl should not be used in documentation!
|
echo '✖ ERROR: Short options for curl should not be used in documentation!
|
||||||
Use long options (e.g., --header instead of -H):' >&2
|
Use long options (e.g., --header instead of -H):' >&2
|
||||||
|
|
Loading…
Reference in New Issue