In case someone like me comes across this discussion but the workaround for the issue doesn't work:
Turns out that in the Profile Preferences' Command tab, if the "Run a custom command instead of my shell" is checked, the same problem occurs, but is likely unrelated to this bug. (Right click in the terminal->Profiles->Profile Preferences->Command) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1132700 Title: gnome-terminal >= 3.7 requires sourcing of vte.sh login script To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1132700/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
