出现(WARNING: /bin/sh is not bash!)如何解决
在运行命令:
@ubuntu$:source /opt/pkg/petalinux/settings.sh`
`
时候出现以下内容:
PetaLinux environment set to '/opt/pkg/petalinux'
WARNING: /bin/sh is not bash!
bash is PetaLinux recommended shell. Please set your default shell to bash.
INFO: Checking free disk space
INFO: Checking installed tools
INFO: Checking installed development libraries
INFO: Checking network and other services
重装了一遍Petalinux并不能解决问题,在试了几个方法后发现是shell没有更改成bash,输入以下命令即可解决:
sudo dpkg-reconfigure dash
重新测试,输入命令:
source /opt/pkg/petalinux/settings.sh
成功提示:
PetaLinux environment set to ‘/opt/pkg/petalinux’
INFO: Checking free disk space
INFO: Checking installed tools
INFO: Checking installed development libraries
INFO: Checking network and other services
安装成功~
另外今天刚学到的如何一个命令实现ubuntu和win10之间进行文字的复制粘贴:
直接在终端输入:
vncconfig -nowin&
就可以实现复制粘贴啦(不要关闭终端噢,关闭了就失效了)~~