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.
Wez Furlong
Tom Mairs
almalinux Cloud User
Mike Hillyer