解决方法：
pushd 比 cd 命令更高效的切换命令，非默认，可在脚本开头添加：
#! /bin/bash
ubuntu 编译时出现/bin/sh: 1: pushd: not found的问题-CSDN博客
来源：CSDN 原文，首次发布于 2024-06-01。