Re: 'exec /bin/bash --login' in ~/.profile

[Michael Albinus]

Marc Girod <address@hidden> writes:

> Now, I got one surprising effect doing the same with a different user (for 
> which
> I did *not* set exec bash in its .profile): there it worked!
> I.e *my* account setting affected the shell run for the other account, and
> there, the prompt was kept!

I do not know it for sure, but likely shell-mode does not know about
Tramp, and maybe it does some actions based on the value of
user-login-name.

> In the debug buffer, the last line says indeed:
>
> 10:42:11.373009 tramp-send-command (6) # cd /home/eeivob05/; exec 
> /usr/bin/bash
> --noediting -i
>
> Excellent idea... got from SHELL being set in .bash_profile?

It's not built-in in Tramp, maybe it is some magic shell-mode does.

>> Don't know whether it should work. Never tested.
>
> At least, it seems to work.

Good to know. I assume there's no Tramp-related problem left?

> Thanks,
> Marc

Best regards, Michael.