add newlines `<br>` or ` ` (double space)

[Itai-Nelken]

some newlines are missing in the docs, for example:

something: - a - b

instead of:

something:
- a
- b

this can be fixed by adding <br> or if we don't want to use html, a double space also works but is less readable.

[ryanfortner]

Thanks for noticing that! Is there any way to add <br> via a bash script, since manually going through each file isn't efficient?

[Itai-Nelken]

I made a python script that reads a file and adds <br> to the end of every line if it isn't empty or starts with #:

import sys


def fix(line):
    if line.startswith('#') or line == '\n':
        return line
    return line.removesuffix('\n') + '<br>\n'

try:
    file = sys.argv[1]
except IndexError:
    print("No file provided!")
    quit(1)

out = []
with open(file, 'r') as f:
    for line in f.readlines():
        out.append(fix(line))
with open(file, 'w') as f:
    f.writelines(out)

I ran it on a test file:

# Title

Some text
- a
- b

before:

after: