131 reputation
2
bio website momus.net
location
age
visits member for 2 years, 9 months
seen Sep 8 at 19:32

Oct
3
awarded  Teacher
Mar
14
comment /etc/profile not being sourced
Yes, obviously, gnome-terminal invokes bash to read that file: if your shell is ksh, then gnome-terminal wouldn't read that file, would it? May I suggest looking up the word "pedant" in the dictionary before you continue using provocative phrases like "does nothing of the sort."
Mar
14
comment /etc/profile not being sourced
@geirha : dmitri@Eos:~$ uname -a Linux Eos 3.0.0-16-generic #29-Ubuntu SMP Tue Feb 14 12:48:51 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux dmitri@Eos:~$ cat /etc/bash.bashrc # System-wide .bashrc file for interactive bash(1) shells. # To enable the settings / commands in this file for login shells as well, # this file has to be sourced in /etc/profile. # If not running interactively, don't do anything [ -z "$PS1" ] && return .....
Feb
13
answered /etc/profile not being sourced
Jan
27
awarded  Supporter