if (set -u; : $variable) 2> /dev/null
then
echo "Variable is set."
fi # 变量已在当前脚本被设定,
#+ 或者变量是一个Bash内部变量,
#+ 或者变量在环境变量中(在export命令后)。
# 也可以写成 [[ ${variable-x} != x || ${variable-y} != y ]]
# 或者 [[ ${variable-x} != x$variable ]]
# 或者 [[ ${variable+x} = x ]]
# 或者 [[ ${variable-x} != x ]]
if (set -C; : > lock_file) 2> /dev/null
then
: # lock_file不存在:没有用户运行此脚本
else
echo "Another user is already running that script."
exit 65
fi
# 代码段作者 Stéphane Chazelas,
#+ 修改者 Paulo Marcel Coelho Aragao。