phpenv/phpenv — pull request #46 by ngourdeau (2014-01-29 09:04:23+00:00)
Title: Test if directory exists before pushd

I got an error here on Ubuntu 12.