问题:

在编译Makefile的时候,Makefile会使用脚本命令,调用pushd或者popd命令出现找不到的问题,错误打印如下:

/bin/sh: 1: pushd: not found

原因:

从Ubuntu 6.10开始,默认使用dash(theDebian Almquist Shell)而不是bash(the GNUBourne-Again Shell),但Login Shell还是bash,原因是dash更快、更高效,而且它符合POSIX规范,Ubuntu在启动的时候会运行很多shell脚本,使用dash可以加快启动速度。

通过如下命令确实可以看出来用的是dash。

ll /bin/sh
lrwxrwxrwx 1 root root 4 7月   5 19:32 /bin/sh -> dash*
解决方法

在需要bash的脚本的第一行写上"#!/bin/bash"

在Makefile中可以设置

SHELL = /bin/bash

修改默认为bash,请运行下面命令并选择no,注意这将影响所有的系统脚本执行。

sudo dpkg-reconfigure dash

Logo

魔乐社区(Modelers.cn) 是一个中立、公益的人工智能社区,提供人工智能工具、模型、数据的托管、展示与应用协同服务,为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作,由全产业链共同建设、共同运营、共同享有,推动国产AI生态繁荣发展。

更多推荐