加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
umount_build_dir.sh 221 Bytes
一键复制 编辑 原始数据 按行查看 历史
HiGarfield 提交于 2020-04-23 23:22 . update build scripts
#!/bin/bash
user_password="111111"
build_dir_path="build_dir"
mount_record=`mount | grep "${build_dir_path}"`
[ -n "${mount_record}" ] && {
echo "$user_password" | sudo -S umount "${build_dir_path}"
echo ""
}
exit 0
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化