111 reputation
4
bio website
location Marburg, Germany
age 31
visits member for 3 years, 3 months
seen Jan 27 at 12:56

PhD student at chemistry department of Phillips Universit├Ąt Marburg, doing some high performance computing simulations of flow and mass transport in porous media on dedicated machines (right now it's mostly BlueGene/P). We write our own CFD solvers in C++/C with MPI standard and some scripting routines in Python.


Jan
27
comment VIM see regular expressions matches as you type
It would be nice if it would work in a way it works with the search: highlighting what currently matches. Did you find the best way to do it?
Jul
15
awarded  Popular Question
May
21
awarded  Supporter
Dec
8
comment Why my $PATH is not inherited by the invoked bash?
exec bash --norc + source .bashrc is different from exec bash --login and exec bash --noprofile. Leaving exec out does not change anything. The other environment variables are not changed. If I setenv v hi in tcsh, then I can see it when I do echo $v in bash whichever way it was invoked it. So it is something that manipulates the environment. In man bash (as far as I read) several scripts are listed as a startup sequence (for a login shell however): /etc/profile, ~/.bash_profile, ~/.bash_login, ~/.profile. Out of those only /etc/profile exists on my system.
Dec
8
comment Why my $PATH is not inherited by the invoked bash?
It just seems this stackexchange site is less crowded, than superuser.com
Dec
8
comment Why my $PATH is not inherited by the invoked bash?
Didn't do anything new. I login to my box, do some changes to my $PATH, then do exec bash --login and loose the my $PATH that was available in tcsh.
Dec
8
awarded  Student
Dec
8
asked Why my $PATH is not inherited by the invoked bash?
Dec
8
awarded  Autobiographer