push : not found

ubuntu 에서 /bin/sh -> dash 로 연결되어 있기 때문에 pushd 가 먹지 않는다.
왜냐 bash 보다 dash 가 속도가 빠르기 때문에 이렇게 했단다(https://wiki.ubuntu.com/DashAsBinSh/Spec).

아래처럼 하던가 아니면 소스의 #!/bin/sh 을 #!/bin/bash 이렇게 바꾸도록 하자.

 

$ sudo rm /bin/sh
$ sudo ln -s /bin/bash /bin/sh