bash says:```$ pwd /home/jsirois/dev/3rdparty/pants/fred shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory```