On Sunday, December 10, 2023, Koichi Murase <myoga.mur...@gmail.com> wrote: > > In that case, a question would be what would be the standard way to > specify the Bash-specific variable, >
There doesn't have to be a standard way; I'd set it in ~/.profile, you'd set it wherever is convenient on your setup.