Answer by Born2Smile for /bin/sh: pushd: not found
This ought to do the trick: ( cd dirname ; pwd ); pwd The parentheses start a new child shell, thus the cd changes the directory within the child only, and any command after it within the parentheses...
View ArticleAnswer by user2438597 for /bin/sh: pushd: not found
sudo dpkg-reconfigure dash Then select no.
View ArticleAnswer by MatanN for /bin/sh: pushd: not found
Run "apt install bash" It will install everything you need and the command will work
View ArticleAnswer by Classified for /bin/sh: pushd: not found
A workaround for this would be to have a variable get the current working directory. Then you can cd out of it to do whatever, then when you need it, you can cd back in. i.e. oldpath=`pwd` #do whatever...
View ArticleAnswer by Juan Jose Pablos for /bin/sh: pushd: not found
add SHELL := /bin/bash at the top of your makefile I have found it on another question How can I use Bash syntax in Makefile targets?
View ArticleAnswer by Mark Baker for /bin/sh: pushd: not found
Note that each line executed by a make file is run in its own shell anyway. If you change directory, it won't affect subsequent lines. So you probably have little use for pushd and popd, your problem...
View ArticleAnswer by Jan Hudec for /bin/sh: pushd: not found
Synthesizing from the other responses: pushd is bash-specific and you are make is using another POSIX shell. There is a simple workaround to use separate shell for the part that needs different...
View ArticleAnswer by joseignaciorc for /bin/sh: pushd: not found
Your shell (/bin/sh) is trying to find 'pushd'. But it can't find it because 'pushd','popd' and other commands like that are build in bash. Launch you script using Bash (/bin/bash) instead of Sh like...
View ArticleAnswer by hlovdal for /bin/sh: pushd: not found
This is because pushd is a builtin function in bash. So it is not related to the PATH variable and also it is not supported by /bin/sh (which is used by default by make. You can change that by setting...
View ArticleAnswer by sarnold for /bin/sh: pushd: not found
pushd is a bash enhancement to the POSIX-specified Bourne Shell. pushd cannot be easily implemented as a command, because the current working directory is a feature of a process that cannot be changed...
View Article/bin/sh: pushd: not found
I am doing the following inside a make file pushd %dir_name% and i get the following error /bin/sh : pushd : not found Can someone please tell me why this error is showing up ? I checked my $PATH...
View ArticleAnswer by Muhammad Numan for /bin/sh: pushd: not found
here is a method to point sh -> bashrun this command on terminalsudo dpkg-reconfigure dashAfter this you should seels -l /bin/shpoint to /bin/bash (and not to /bin/dash)Reference
View Article
