diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-11 21:09:04 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-11 21:09:04 +0000 |
commit | 7ea5e28b74535797277c2f796dcaddf7425a7d61 (patch) | |
tree | ff7c3c3b2e93e363fbeb63a82fdb19a19dedbbcc /reproduce/src/bash/git-pre-commit | |
parent | 37b4551dc7cb394a76be1534a3c4de90bdb569c3 (diff) |
for-group gives write permission to all built software in the end
Since the `install' script also sets permissions manually, the permissions
that we define in `for-group' don't usually affect the installed
files. Therefore the installed files of one user can't be modified/deleted
by another. With this commit, after for-group finishes configuration, it
also adds the write flag for all group members in the whole installation
directory.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions