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

mixed-indents warns about document with no indents #2985

Open
jyasskin opened this issue Dec 16, 2024 · 3 comments
Open

mixed-indents warns about document with no indents #2985

jyasskin opened this issue Dec 16, 2024 · 3 comments

Comments

@jyasskin
Copy link
Collaborator

The following Bikeshed document complains

WARNING: `Complain About: mixed-indents yes` is active, but I couldn't infer the document's indentation. Be more consistent, or turn this lint off.

Deleting or merging any of the lines removes the warning.

<pre class='metadata'>
Title: Title
Shortname: shortname
Level: none
Status: NOTE-ED
Group: tag
Repository: org/repo
URL: https://org.github.io/repo
Editor: An Editor
Abstract: Hello
</pre>


## Heading {#heading1}

Each,
not.
A,
which


### Heading {#heading2}

I
That
the
for
and
as
to
and

Users
for
or
Users
for
Even
user
and
when


### Heading {#heading3}

A
in
These
so
instead


### Heading {#heading4}

A
while
as

A
make
and
@tabatkins
Copy link
Collaborator

Yeah, it's just long enough to trigger the lint (minimum length of 50 lines, I think). I should put in a bypass for zero indententation at all, the lint is clearly silly on this document.

Or really, probably I should do the "50 lines" count only of indented lines.

@jyasskin
Copy link
Collaborator Author

2 indented lines should be enough? I wouldn't want to suddenly notice existing errors just because I added a line.

@ynyhxfo
Copy link

ynyhxfo commented Dec 19, 2024

Actually I also encounter issues on this warning. Here is my index.bs file, and I only have three consecutive usage of indents. I tried to use tab/space/no indent, and non of them works. Should I add mixed-indents no to bypass it?

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

No branches or pull requests

3 participants