[tex-live] A Simple Recommendation
Manfred Lotz
manfred at dante.de
Fri Sep 21 10:15:35 CEST 2018
On Fri, 21 Sep 2018 07:59:05 +0000
Lars Madsen <daleif at math.au.dk> wrote:
> itsn't it rather .profile than .bash_profile?
>
It is a bit more complicated. Here an excerpt from bash's man page
which gives you an idea:
When bash is invoked as an interactive login shell, or as a
non-interactive shell with the --login option, it first reads and
executes commands from the file /etc/profile, if that file exists.
After reading that file, it looks for ~/.bash_profile, ~/.bash_login,
and ~/.profile, in that order, and reads and executes commands from
the first one that exists and is readable. The --noprofile option
may be used when the shell is started to inhibit this behavior.
...
--
Manfred
> I have no .bash_profile on my Ubuntu.
>
> But my .profile, does execute my .bashrc
>
>
> /Lars Madsen
> Institut for Matematik / Department of Mathematics
> Aarhus Universitet / Aarhus University
> Mere info: http://au.dk/daleif@math / More information:
> http://au.dk/en/daleif@math
>
>
> ________________________________________
> From: tex-live <tex-live-bounces+daleif=imf.au.dk at tug.org> on behalf
> of Zdenek Wagner <zdenek.wagner at gmail.com> Sent: 21 September 2018
> 09:53 To: rouani.lahcene at gmail.com
> Cc: TeX Live; Norbert Preining
> Subject: Re: [tex-live] A Simple Recommendation
>
> pá 21. 9. 2018 v 2:45 odesílatel Lahcene ROUANI
> <rouani.lahcene at gmail.com> napsal:
> >
> > Thank you for your reply.
> >
> > I want to mention that many answers in the Tex.se site are
> > misleading. One reason is that You have gave me good information
> > about setting a path locally or globally. I didn't came across any
> > of this before.
> Setting PATH (or environment in general) is rather a Linux topic, it
> is not TeX Live specific. Console applications take settings from
> ~/.bashrc while GUI programs from ~/.bash_profile. Thus if you set
> PATH in ~/.bashrc, TL will work from the terminal but not from TeX
> Studio. On my computer .bash_profile reads .bashrc so that I have the
> same settings on both places. However, to make the changes visible in
> the terminal it is sufficient to start the terminal od even by:
>
> . ~/.bashrc
>
> In order to make it visible in GUI apps you have to restart GUI either
> by logging off and on or by Ctrl-Alt-Backspace.
>
> ...
> Best regards
> >
> Zdeněk Wagner
> http://ttsm.icpf.cas.cz/team/wagner.shtml
> http://icebearsoft.euweb.cz
>
>
More information about the tex-live
mailing list