Public bug reported:
Binary package hint: gnome-terminal
The bash started by gnome-terminal (invoked from the Gnome menu) didn't
know it was supposed to be an interactive shell. This means that a
user's .bash_profile is not sourced.
So I edited the gnome-terminal applet to add the option --command="bash
--login", which made .bash_profile start to work.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Description changed:
Binary package hint: gnome-terminal
The bash started by gnome-terminal (invoked from the Gnome menu) didn't
know it was supposed to be an interactive shell. This means that a
user's .bash_profile is not sourced.
So I edited the gnome-terminal applet to add the option --command="bash
- --login", which made it start to work.
+ --login", which made .bash_profile start to work.
--
gnome-terminal not started as an "interactive shell"
https://bugs.launchpad.net/bugs/250000
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
