It looks more conventional this way.
I switched a few sysadmin sections away from `sudo -s` to
non-privileged commands that use sudo; most of those were to
deal with `sudo echo > file` not being able to write to `file` as root.
Those are replaced by `echo | sudo tee file >/dev/null` which allows
running only the file writing part as root.
Rather than using `bash` for the mix of shell and output,
use `console`. That will cause the text to be marked up so
that the `$` prompt stuff won't get selected by dragging.
Enable copy button to copy the whole block, and add some
js to filter out the the $ and # prefixes from that content.
add ubuntu sources.list files to the git repo, and publish to openrepo.
Now all our binary install instructions should work without requiring a github login while the repo is still private.
Ideally there would be a good mkdocs based checker, but the
one that is out there only validate absolute URLs, which makes
it unsuitable for checking local relative links in the docs.
Adjust the doc build so that we also generate the SUMMARY.md
for mdbook, and use mdbook's link checker to check the links.
Fixup the couple of broken links that it found.
Tom Mairs
Wez Furlong
Mike Hillyer
Cloud User
almalinux Cloud User