[Bug 1726380] [NEW] Option “-e” is deprecated and might be removed in a later version of gnome-terminal

2017-10-23 Thread hakon
Public bug reported: After upgrading from Ubuntu 17.04 to 17.10, I get a warning about that option -e is deprecated when starting gnome-terminal from the command line. For example, assume I want to open a gnome-terminal with two tabs, and running separate commands in each tab:  $ gnome-terminal

[Bug 1387131] Re: Cannot change evince key bindings

2017-01-01 Thread hakon
Still present in Ubuntu 16.10 ): -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to evince in Ubuntu. https://bugs.launchpad.net/bugs/1387131 Title: Cannot change evince key bindings To manage notifications about this bug go to:

[Bug 1294159] Re: Option --active doesn't work as expected

2015-04-07 Thread hakon
This bug is also present in gnome-terminal version 3.6.2. Here is my configuration: $ lsb_release -rd Description:Ubuntu 14.04.2 LTS Release:14.04 $ apt-cache policy gnome-terminal gnome-terminal: Installed: 3.6.2-0ubuntu1 Candidate: 3.6.2-0ubuntu1 Version table: ***

[Bug 1440413] [NEW] gnome-terminal --save-config does not save tab titles

2015-04-04 Thread hakon
.cfg' Saves the title of the tab correctly to the file 'config1.cfg'. Here is the relevant part of 'config1.cfg': [Terminal0x325a350] ProfileID=Default Title=MyTabTitle WorkingDirectory=/home/hakon/ Zoom=1 Width=80 Height=24 On the other hand, running $ gnome-terminal and the pressing Ctrl+Shift