bashrc: Don't run list files if pushd fails
bashrc: Add aliases for ps in Linux