On Wednesday, December 27, 2017 at 9:44:28 AM UTC+13, Gideon Simpson wrote:
... when I open one of these web based terminals, it does not appear to source my .profile which sets an LD_LIBRARY_PATH variable needed for some libraries.
When Bash is invoked as an interactive login shell ... it looks for ... ~/.profile ...
When an interactive shell that is not a login shell is started, Bash reads and executes commands from ~/.bashrc, if that file exists.
So this is expected behaviour for a non-login shell.