desktop-packages team mailing list archive

[Vladimir Dobriakov <1331864@xxxxxxxxxxxxxxxxxx>]

I experience this bug every couple of days, loosing all the open tabs
and being left with e.g. lot of vim swap files.

The bug description is perfect and easy to reproduce in 1 minute. The
linked patch is plausible, small and just should be merged!

-- 
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/1331864

Title:
  [Patch] CRASH when dragging a tab and later changing its title

Status in gnome-terminal package in Ubuntu:
  Confirmed

Bug description:
  Gnome-terminal can crash if a tab is dragged across windows, and later
  the title of the tab is changed.

  Since gnome-terminal is one single process for all your terminal
  windows and tabs, upon a crash all the gnome-terminal windows
  disappear, easily causing loss of precious unsaved work.

  To easily reproduce:

  1. Open at 2 (or more) gnome-terminal windows, and in one of them 2
  (or more) tabs.

  2. In one of these tabs, make the title change constantly:
  while sleep 0.1; do echo -ne "\e]0;$(date +%S)\a"; done

  3. Drag and drop this tab (with the changing title) to another gnome-
  terminal window. (Don't drag it within the same window, that won't
  make it crash.) Repeat this step multiple times.

  After a few (usually less than 10) drag-n-drop actions, gnome-terminal
  crashes.

  Please backport this fix from mainstream:
  https://git.gnome.org/browse/gnome-terminal/commit/?id=f65261a

  ProblemType: Bug
  DistroRelease: Ubuntu 14.04
  Package: gnome-terminal 3.6.2-0ubuntu1
  ProcVersionSignature: Ubuntu 3.13.0-29.53-generic 3.13.11.2
  Uname: Linux 3.13.0-29-generic x86_64
  ApportVersion: 2.14.1-0ubuntu3.2
  Architecture: amd64
  CurrentDesktop: Unity
  Date: Thu Jun 19 01:37:45 2014
  InstallationDate: Installed on 2012-05-30 (749 days ago)
  InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64 (20120425)
  SourcePackage: gnome-terminal
  UpgradeStatus: Upgraded to trusty on 2014-03-25 (85 days ago)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1331864/+subscriptions