Skip to content

test: quote check-doc grep path#323

Open
wangedmund77-cmyk wants to merge 1 commit into
BitgesellOfficial:masterfrom
wangedmund77-cmyk:codex/fix-check-doc-space-path
Open

test: quote check-doc grep path#323
wangedmund77-cmyk wants to merge 1 commit into
BitgesellOfficial:masterfrom
wangedmund77-cmyk:codex/fix-check-doc-space-path

Conversation

@wangedmund77-cmyk
Copy link
Copy Markdown

Summary

  • quote the check-doc.py source-tree path used inside shell-based git grep commands
  • keeps the lint working when the repository checkout path contains spaces

Validation

  • python3 test/lint/check-doc.py
  • git diff --check

Refs #32.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant