Re: vector of t_FRAC questions

[hermann@stamm-wilbrandt.de]

On 2024-07-16 11:32, Karim Belabas wrote:
> > How can I get "??gcd" help in terminal instead of dvi viewer?
>
> Something like
>
>   help     = "gphelp -detex -utf8 -ch 4 -cb 0 -cu 2"
>
> in your .gprc (see 'man gphelp' for the meaning of he various flags).
>
> Note that you can also call 'gphelp' directly, it works outside of gp.
> You can turn the above command into an alias and use it in a terminal.
>
> Cheers,
>
>     K.B.
Thanks, I tried the latter, and it was difficult to read on my default
black terminal background. But after changing to a gray that made ghelp
easy to read, as well ad the bash command line, it looks good !
https://stamm-wilbrandt.de/images/gphelp_alias.png

With below alias in .bashrc "?? gcd" in terminal does what I want:

$ tail -1 .bashrc
alias ??="gphelp -detex -utf8 -ch 4 -cb 0 -cu 2"
$


Regards,

Hermann.