Amateur typesetting enthusiast.
None of these pique mine interest enough to try them, but I was surprised that the oil shell didn’t make an appearance. Besides fish and nushell, it was the only alternative shell I’d heard of.
There is likely a way to stream local (public) radio stations using a browser, granted one likes the music of at least one station that does so. I find this provides excellent recommendations and tons of helpful information about the picks for the playlist, which itself is typically logged by time.
This provides no built-in download option, though if great recommendations are the focus, nothing beats public radio.
It’s already difficult enough for me to use keyboards that don’t have Caps Lock act as another Control, not to mention all the changed special character locations on a German QWERTZ keyboard (cf. US standard layout), that I don’t wish to make my life any more painful by moving the letters around too.
This is awesome! Who wouldn’t want a radio hat like this one?