Menu
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 variable and it contains /bin so I don't think that is causing a problem.
384
The pushd command is used to save the current directory into a stack and move to a new directory. Furthermore, popd can be used to return back to the previous directory that is on top of the stack. It is very useful when we have to switch between two directories frequently.
The pushd command stores a directory or network path in memory so that it may be accessed at any time.
The popd CommandTo change the directory, do something, and then hop back to the previous directory, you can use pushd and popd together. We'll use pushd to move to a different directory. We'll use popd to discard the topmost directory in the stack and move to the directory in the second position.
pushd adds a directory to the top of the stack and popd removes a directory from the top of the stack.
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 by child processes. (A hypothetical pushd command might do the chdir(2) call and then start a new shell, but ... it wouldn't be very usable.) pushd is a shell builtin, just like cd.
So, either change your script to start with #!/bin/bash or store the current working directory in a variable, do your work, then change back. Depends if you want a shell script that works on very reduced systems (say, a Debian build server) or if you're fine always requiring bash.
179
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
