896867 - "pushd not found" running from makefile in vagrant

Status: RESOLVED FIXED

(Socorro :: Infra, task)

Description

[Robert Helmer [:rhelmer]]

Debian/Ubuntu use a minimal shell in /bin/sh so it doesn't have built-ins like pushd and popd:

pushd webapp-django; ./bin/jenkins.sh; popd
/bin/sh: 1: pushd: not found

Make will fork a subprocess so it's safe to do this:

cd webapp-django; ./bin/jenkins.sh

Comment 1

[Robert Helmer [:rhelmer]]

r? lonnen https://github.com/mozilla/socorro/pull/1356

Comment 2

[[github robot]]

Commits pushed to master at https://github.com/mozilla/socorro

https://github.com/mozilla/socorro/commit/a36ff56c28685f7cb3493fc6af8d4b84e19c6fe4
bug 896867 - debian/ubuntu use minimal shell w/o pushd/popd built-ins

https://github.com/mozilla/socorro/commit/6eaeaa0451a951df96bd1554fbbcca5d16e4ce76
Merge pull request #1356 from rhelmer/bug896867-pushd-not-found

bug 896867 - debian/ubuntu use minimal shell w/o pushd/popd built-ins

Comment 3

[[github robot]]

Commits pushed to master at https://github.com/mozilla/socorro

https://github.com/mozilla/socorro/commit/ab0e2bbaaae405a5c179db6ebc44b82c6acdbe3e
fixes bug 896867 - yet another case of debian/ubuntu using minimal shell w/o pushd/popd built-ins

https://github.com/mozilla/socorro/commit/e51140f83dc51783b10af0678db4ba645ad5e1dc
Merge pull request #1357 from rhelmer/bug896867-pushd-not-found

fixes bug 896867 - yet another case of debian/ubuntu using minimal shell...

Comment 4

[[github robot]]

Commits pushed to master at https://github.com/mozilla/socorro

https://github.com/mozilla/socorro/commit/93fc5541d7af1d79a5df6bd831ad8b181b223fda
bug 896867 followup - these scripts require bash

https://github.com/mozilla/socorro/commit/59fcd10d81b9ee038ab0b5f3b0a81928cad30279
Merge pull request #1358 from rhelmer/bug896867-pushd-not-found

bug 896867 followup - these scripts require bash