加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
mount_build_dir.sh 523 Bytes
一键复制 编辑 原始数据 按行查看 历史
HiGarfield 提交于 2022-01-13 10:15 . mount_build_dir.sh: add space
#!/bin/bash
tmpfs_size=12
user_password="111111"
build_dir_path="build_dir"
[ ! -d "${build_dir_path}" ] && mkdir -p "${build_dir_path}"
rm -rf ${build_dir_path}/*
freemem=$(awk '($1 == "MemTotal:") { print int($2/1048576) }' /proc/meminfo)
[ "$freemem" -gt "$tmpfs_size" ] && {
echo "Mount build_dir as tmpfs."
mount_record=`mount | grep "${build_dir_path}"`
[ ! -n "${mount_record}" ] && {
echo "$user_password" | sudo -S mount -t tmpfs -o size=${tmpfs_size}G myramdisk ${build_dir_path}
echo ""
}
}
exit 0
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化