

I agree, I just didn’t want to make assumptions about how newer things work with localization these days.
I agree, I just didn’t want to make assumptions about how newer things work with localization these days.
Not everything uses groff. A lot will have their own function or another.
Edit: I think for what you indicting you are wanting to try you’d need to either patch your shell of choice or write your own.
Edit2: If you did patch it, the best way I can think of to get something upstreamed would be to patch bash to use CTRL-Enter to automatically pipe the output to the default pager defined in BASHPAGER followed by PAGER if it doesn’t exist. Then set the BASHPAGER to your “bat” command.
Or if you are lazy you could add “-h” as an option to said help command for when --help doesn’t work. Shouldn’t take to long to to make a list with a script that runs each command to with --help and logs it all to a file though. Then just go look for the ones that don’t like it in the log. Apparently bash has a builtin command named help, so a different name is probably better then.
ls -1 $dir | while read line do echo “----------” $line --help |& >> logfile.txt done
Just search in you favorite pager for “-----” and just hit “next” key.
You’d be intercepting all commands just to verify if they have a help flag and then if not executing them as they were intended. If the intercept got broke, then the shell would be completely broken.
I think your best bet to to create a script called help and run “help <command>” and the script would do the rest.
I don’t think it should have a significant effect on performance. On the other hand gamescope is broken on my system right now. There are probably plus and minuses of both.
Great. now how long till we can game without nesting the game inside gamescope?
16 Color terminals didn’t really start getting used until the 90s and early 2000s. And 256 after that. A lot of software was written back then and it would take a lot to add something that might not display well because of the terminal’s color scheme and now we have color theming.