/bin/sh: pushd: not found

前端 未结 11 647
借酒劲吻你
借酒劲吻你 2020-12-13 11:31

I am doing the following inside a make file

pushd %dir_name%

and i get the following error

/bin/sh : pushd : not foun         


        
11条回答
  •  感情败类
    2020-12-13 12:06

    here is a method to point

    sh -> bash

    run this command on terminal

    sudo dpkg-reconfigure dash
    

    After this you should see

    ls -l /bin/sh
    

    point to /bin/bash (and not to /bin/dash)

    Reference

提交回复
热议问题