Public bug reported:

/:lsb_release -rd
Description:    Ubuntu 15.04
Release:        15.04
/:apt-cache policy bash
bash:
  Installed: 4.3-11ubuntu2
  Candidate: 4.3-11ubuntu2
  Version table:
 *** 4.3-11ubuntu2 0
        500 http://us.archive.ubuntu.com/ubuntu/ vivid/main amd64 Packages
        100 /var/lib/dpkg/status
/:bash --version
GNU bash, version 4.3.30(1)-release (x86_64-pc-linux-gnu)
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
/:popd
bash: popd: directory stack empty
/:pushd /tmp
/tmp /
/tmp:popd
/
/:pushd /tmp | cat
/tmp /
/:                                          # !!! Pipe after pushd fails to 
change the current directory to /tmp
/:popd
bash: popd: directory stack empty

** Affects: bash (Ubuntu)
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Touch seeded packages, which is subscribed to bash in Ubuntu.
https://bugs.launchpad.net/bugs/1473158

Title:
  /:pushd /tmp | echo "is a no-op"

Status in bash package in Ubuntu:
  New

Bug description:
  /:lsb_release -rd
  Description:  Ubuntu 15.04
  Release:      15.04
  /:apt-cache policy bash
  bash:
    Installed: 4.3-11ubuntu2
    Candidate: 4.3-11ubuntu2
    Version table:
   *** 4.3-11ubuntu2 0
          500 http://us.archive.ubuntu.com/ubuntu/ vivid/main amd64 Packages
          100 /var/lib/dpkg/status
  /:bash --version
  GNU bash, version 4.3.30(1)-release (x86_64-pc-linux-gnu)
  Copyright (C) 2013 Free Software Foundation, Inc.
  License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

  This is free software; you are free to change and redistribute it.
  There is NO WARRANTY, to the extent permitted by law.
  /:popd
  bash: popd: directory stack empty
  /:pushd /tmp
  /tmp /
  /tmp:popd
  /
  /:pushd /tmp | cat
  /tmp /
  /:                                          # !!! Pipe after pushd fails to 
change the current directory to /tmp
  /:popd
  bash: popd: directory stack empty

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1473158/+subscriptions

-- 
Mailing list: https://launchpad.net/~touch-packages
Post to     : touch-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~touch-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to