cancel
Showing results for 
Search instead for 
Did you mean: 
Highlighted
Adventurer
Adventurer
6,700 Views
Registered: ‎05-01-2012

Trouble configuring petalinux 2013.10: /bin/sh: 1: pushd: not found

Hi

 

I am trying to install petalinux on Zynq zc702. I have done it successfully using pre-built images. But now I want to configure the kernel.    

I have installed and set up petalinux working environment properly. 

I cross checked this by issuing 'echo $PETALINUX' command and this command showed me the correct path of petalinux installed directory. 

 

But when I am trying to configure subsytemlevel components, the gui application (the light blue screen) opens properly and I am able to modify the configuration but when I  exit from this gui application, the new configurations are not saved and I get the following error messages; 

/bin/sh: 1: pushd: not found
/bin/sh: 1: popd: not found
make: *** [oldconfig] Error 127

 

 

Petalinux version that I am trying to configure is  2013.10

My development system is Ubuntu 12.04.  and the kernel version is 3.8.0.29-generic. 

0 Kudos
4 Replies
Highlighted
Xilinx Employee
Xilinx Employee
6,699 Views
Registered: ‎10-24-2013

Re: Trouble configuring petalinux 2013.10: /bin/sh: 1: pushd: not found

Hi,

Ubuntu is not a supported OS. Please try on supported OS.
Thanks,Vijay
--------------------------------------------------------------------------------------------
Please mark the post as an answer "Accept as solution" in case it helped resolve your query.
Give kudos in case a post in case it guided to the solution.
0 Kudos
Highlighted
Xilinx Employee
Xilinx Employee
6,680 Views
Registered: ‎03-13-2012

Re: Trouble configuring petalinux 2013.10: /bin/sh: 1: pushd: not found

What is /bin/sh on your system (I think Ubuntu uses dash)? It might have to be tcsh or bash to work with PetaLinux (the documentation should list supported shells).

0 Kudos
Highlighted
Visitor
Visitor
6,668 Views
Registered: ‎01-09-2014

Re: Trouble configuring petalinux 2013.10: /bin/sh: 1: pushd: not found

I am in a similar spot, platform-wise.  I got past this error with this:

http://stackoverflow.com/questions/15809060/sh-syntax-error-bad-fd-number

Still, using Petalinux 13.10 with Ubuntu seems like bad news. 

0 Kudos
Highlighted
Xilinx Employee
Xilinx Employee
6,659 Views
Registered: ‎07-31-2008

Re: Trouble configuring petalinux 2013.10: /bin/sh: 1: pushd: not found

You might want to look at this Forum post: http://forums.xilinx.com/t5/Embedded-Linux/Petalinux-user-apps-won-t-build/m-p/353181/highlight/true#M6799

 

# sudo dpkg-reconfigure dash

 

After this you should see

$ ls -l /bin/sh

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