Gnome-Terminal ignores theme, preferences is unavailable, and copy not working when launching from right-click desktop
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned | ||
nautilus (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
Description: Ubuntu Artful Aardvark (development branch)
Release: 17.10
gnome-terminal:
Installed: 3.24.2-0ubuntu4
Candidate: 3.24.2-0ubuntu4
Version table:
*** 3.24.2-0ubuntu4 500
500 http://
100 /var/lib/
Expected behavior
Right-clicking on the desktop and selecting "Open Terminal" should give me the same terminal as running gnome-terminal or or opening terminal in the activity view.
What happens
Gnome-Terminal launches with the correct GTK theme, but not the correct theme variant (light instead of dark). The "Preferences" option is gone from the top bar. Trying to copy something from the terminal and pasting outputs "unavailable".
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSign
Uname: Linux 4.13.0-12-generic x86_64
ApportVersion: 2.20.7-0ubuntu2
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Oct 8 22:49:01 2017
InstallationDate: Installed on 2017-09-30 (8 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Beta amd64 (20170929)
ProcEnviron:
PATH=(custom, no user)
XDG_RUNTIME_
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
Related to bug 1708306.