>> If I create new terminal using Open Tab or Open Terminal, I get a fresh >> terminal. This is sometimes what I want but sometimes not. We can possibly have an array holding names of such variables, which need to be 'exported' to the new tab. Or, we can have a checkbox in gnome-terminal menus, if we want to inherit variables or not. Or, we can have 2 separate menu items: "new tab", "new tabs with environment"
Currently, I am using a dirty trick of writing them to a file in /tmp via PROMPT_COMMAND & then reading it via .bashrc. But it is clearly inefficient & error prone. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1058515 Title: inheriting environmental variables when creating new terminal window or tab Status in “gnome-terminal” package in Ubuntu: Confirmed Bug description: If I create new terminal using gnome-terminal command (in terminal), it inherits environmental variables from the old terminal as any other application does. But if I create new terminal using Open Tab or Open Terminal, I get a fresh terminal. This is sometimes what I want but sometimes not. I miss the possibility to copy environmental variables from the old terminal to the new one. Option in preferences would be ok. But some way to switch the behaviour quickly would be better. For user there is no difference between the new window/tab and gnome- terminal command. Only the inheriting of environmental variables. I also noticed that there is no option to preset environmental variables for the terminal. Some combination of Profiles and .bashrc file. However this is a different bug but probably connected, so that why I'm mentioning it. Ubuntu 10.04, GNOME Terminal 2.30.2 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1058515/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp