|
From: | Pascal Bourguignon |
Subject: | Re: Frotz (Z Machine emulator) |
Date: | Sat, 25 Mar 2017 23:53:50 +0100 |
The difference is probably in the environment. Assuming you’re using bash; bash distinguishes interactive/non-interactive and login/non-login shells. (and dynamically, starting or exiting). WHEN starting AND ( interactive AND login ) OR ( non-interactive AND --login ) ) DO /etc/profile THEN ~/.bash_profile OR ELSE ~/.bash_login OR ELSE ~/.profile WHEN starting AND interactive AND NOT login DO ~/.bashrc WHEN starting AND NOT interactive DO $BASH_ENV WHEN exiting AND login DO ~/.bash_logout Terminal emulators will often start the shell in non-login mode (ie. the second case above). Therefore they won’t load '.bash_profile' or '.profile', but '.bashrc'. Some terminal emulators give you the option of starting the shell in login mode (--login or letting you give the command with any option you want). But in general, it’s better to leave those shells as non-login shells, to avoid confusion and being noted as multiply logged-in the system (cf. who -l). -- __Pascal J. Bourguignon__ |
[Prev in Thread] | Current Thread | [Next in Thread] |