I’d say, let’s have everyone brainstorm the best way to go about this, and let a thousand flowers bloom!
I’d say, let’s have everyone brainstorm the best way to go about this, and let a thousand flowers bloom!
It is time for the mainland to come back into the fold.
I agree the mainland should be allowed to maintain some amount of self rule during the transition.
You can list every man page installed on your system with man -k .
, or just apropos .
But that’s a lot of random junk. If you only want “executable programs or shell commands”, only grab man pages in section 1 with a apropos -s 1 .
You can get the path of a man page by using whereis -m pwd
(replace pwd
with your page name.)
You can convert a man page to html with man2html
(may require apt get man2html
or whatever equivalent applies to your distro.)
That tool adds a couple of useless lines at the beginning of each file, so we’ll want to pipe its output into a | tail +3
to get rid of them.
Combine all of these together in a questionable incantation, and you might end up with something like this:
mkdir -p tmp ; cd tmp
apropos -s 1 . | cut -d' ' -f1 | while read page; do whereis -m "$page" ; done | while read id path rest; do man2html "$path" | tail +3 > "${id::-1}.html"; done
List every command in section 1, extract the id only. For each one, get a file path. For each id and file path (ignore the rest), convert to html and save it as a file named $id.html
.
It might take a little while to run, but then you could run firefox .
or whatever and browse the resulting mess.
Or keep tweaking all of this until it’s just right for you.
That sounds like an improbable attempt to leverage the notion that minors can’t enter into a legally binding contract into a loophole to get anything for free by simply having your kid order it.
I have a small userscript/style tweak to remove all input fields from reddit, so I’m still allowing myself to browse reddit in read-only mode on desktop, with no mobile access.
It’s a gentle way to wean myself off. I’m still waiting for my GDPR data dump anyway, so I need to check reddit fairly regularly to be able to grab it when/if it arrives.
I like it.
The site feels a lot better to me, and seems significantly gentler in terms of browser resource consumption.
It’s weirdly difficult to remap the “office” key so that pressing it won’t open an ad for ms office 365 and pressing office+L won’t open linkedin.com, and a few more equally valuable core OS features.
In the end I just had to grab a small bit of C code from GitHub, compile it, move the exe to the startup folder, have Windows Defender yell at me for having obviously installed a particularly nasty brand of trojan, and make Windows Defender put the executive I had just compiled back.
But really, I deserve this for using a Microsoft natural keyboard in the first place.