小编Ali*_*Ali的帖子

所以我有一个 bash 脚本，它可以做一些非常基本的事情（从 gi​​thub 中提取，删除文件夹......等）。我通常在服务器上需要新版本的 Web 应用程序时运行它。

问题是没有任何东西可以阻止这个脚本由不同的人同时运行（几乎所有的开发人员都连接到这个服务器并且他们执行相同的命令）。

到目前为止，脚本同时由超过 1 个开发人员运行的情况并没有发生。

如果其他用户已经在运行此脚本，我如何确保它无法运行？文件夹锁定或检查脚本是否正在由另一个用户运行（这是否可行？）还有其他事情吗？

所有可以运行此脚本的用户都是 sudoers。

编辑：在检查我的同事后发现并非所有人都在使用脚本..他们中的一些人正在手动执行命令，所以我需要锁定文件夹本身。