Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: don't escape " when not required #19490

Merged
merged 1 commit into from
Oct 17, 2023
Merged

Conversation

jelly
Copy link
Member

@jelly jelly commented Oct 16, 2023

This silences a grep warning about a stray \ before ".

Silences:

[jelle@t14s][~/projects/cockpit/main]%make check-guide
if grep -n -r 'name=\"id' doc/guide/html >&2; then \
        echo "Unexpected generated id in the documentation" >&2; \
        exit 1; \
fi
grep: warning: stray \ before "

This silences a grep warning about a stray \ before ".
@jelly jelly added the no-test For doc/workflow changes, or experiments which don't need a full CI run, label Oct 16, 2023
@jelly jelly requested a review from martinpitt October 16, 2023 16:28
Copy link
Member

@martinpitt martinpitt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jelly jelly merged commit 87cc2bd into cockpit-project:main Oct 17, 2023
37 checks passed
@jelly jelly deleted the grep-warning branch October 17, 2023 07:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-test For doc/workflow changes, or experiments which don't need a full CI run,
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants