*** This bug is a duplicate of bug 1288655 ***
https://bugs.launchpad.net/bugs/1288655
Both PS1 and PROMPT_COMMAND might be relevant, they might change e.g.
the window title (like PROMPT_COMMAND probably does), and changing the
window title has a slim chance of triggering some bugs. You could
experiment with setting PS1 to something very simple and also unsetting
PROMPT_COMMAND at the same time.
Different bash versions might behave differently. 4.3 was an "odd"
(read: buggy) one in the sense that it didn't handle window resizes
immediately, only when a key was pressed later. With current 4.4 the
prompt is redrawn immediately upon a resize, but apparently
PROMPT_COMMAND as well as $() substitutions in PS1 are not run again.
Maybe in 4.2 it used to be different and maybe PROMPT_COMMAND was re-
executed or something like this, I don't know.
You could also experiment with running a "cat" or "sleep 10000" or "vim"
or something like these (so that bash doesn't have a word during the
resize), or using zsh (let us know if that's what you're already using).
--
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/1706008
Title:
gnome-terminal window becomes one line shorter after every
fullscreen/windowed cycle
Status in gnome-terminal package in Ubuntu:
New
Bug description:
It's 17.04 64 bit Ubuntu, wayland+gnome-shell. I have key F11
configured to toggle between fullscreen and windowed mode. Just
noticed, that every time I press F11 to get full screen, then F11 to
get back windowed mode, the window becomes one line shorter ...
Continuing this I can hit the situation to have only a one line tall
window. It's kinda annoying, since during my work I use tons of
terminal windows, and I often use full screen / windowed mode
switching. Now, I have to resize the window again and again before it
becomes too shallow ...
ProblemType: Bug
DistroRelease: Ubuntu 17.04
Package: gnome-terminal 3.20.2-1ubuntu8
ProcVersionSignature: Ubuntu 4.10.0-28.32-generic 4.10.17
Uname: Linux 4.10.0-28-generic x86_64
ApportVersion: 2.20.4-0ubuntu4.5
Architecture: amd64
CurrentDesktop: GNOME
Date: Mon Jul 24 11:14:01 2017
InstallationDate: Installed on 2015-07-10 (744 days ago)
InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release i386 (20150422)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to zesty on 2017-06-20 (33 days ago)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1706008/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
