desktop-packages team mailing list archive

[Brian Murray <brian@xxxxxxxxxx>]

** Package changed: ubuntu-release-upgrader (Ubuntu) => gnome-terminal
(Ubuntu)

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

Title:
  /etc/profile does not get sourced when logging into a terminal window

Status in gnome-terminal package in Ubuntu:
  New

Bug description:
  I wanted to change the command prompt and so made the following change
  within /etc/bash.bashrc:

  #PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
  PS1='${debian_chroot:+($debian_chroot)}\h:\w\$ '

  When a terminal window is opened, the prompt is unchanged from the
  original. If I reboot, login and again open a terminal window the
  prompt is still unchanged. However, manually executing the following
  from the terminal window changes the prompt as desired:

  source /etc/profile

  It seems that /etc/profile is not automatically run when the terminal
  window is first opened.

  From the documentation I've seen
  (https://help.ubuntu.com/community/EnvironmentVariables,
  http://bencane.com/2013/09/16/understanding-a-little-more-about-
  etcprofile-and-etcbashrc/ and other posts), /etc/bash.bashrc should be
  executed from /etc/profile during a terminal login.

  ProblemType: Bug
  DistroRelease: Ubuntu 14.04
  Package: ubuntu-release-upgrader-core 1:0.220.6
  ProcVersionSignature: Ubuntu 3.13.0-43.72-generic 3.13.11.11
  Uname: Linux 3.13.0-43-generic x86_64
  ApportVersion: 2.14.1-0ubuntu3.6
  Architecture: amd64
  CrashDB: ubuntu
  CurrentDesktop: Unity
  Date: Thu Jan  1 14:36:48 2015
  InstallationDate: Installed on 2014-09-12 (111 days ago)
  InstallationMedia: Ubuntu 14.04.1 LTS "Trusty Tahr" - Release amd64 (20140722.2)
  PackageArchitecture: all
  SourcePackage: ubuntu-release-upgrader
  Symptom: dist-upgrade
  UpgradeStatus: No upgrade log present (probably fresh install)

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