From 7ea5e28b74535797277c2f796dcaddf7425a7d61 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Mon, 11 Mar 2019 21:09:04 +0000 Subject: 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. --- .file-metadata | Bin 3956 -> 3956 bytes for-group | 16 ++++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/.file-metadata b/.file-metadata index e1db277..9d0d613 100644 Binary files a/.file-metadata and b/.file-metadata differ diff --git a/for-group b/for-group index 7aaf206..90566a6 100755 --- a/for-group +++ b/for-group @@ -92,3 +92,19 @@ fi # typo (not using this script properly after configuration). export reproducible_paper_group_name="$1" sg "$1" "umask u+r,u+w,g+r,g+w,o-r,o-w,o-x && $script" + + + + + +# Group writing permissions for dependencies directory +# +# The common build process sets the writing permissions of the installed +# programs/libraries to `755'. So group members can't write over a +# file. This creates problems when another group member wants to update the +# software for example. We thus need to manually add the group writing flag +# to all installed software files. +if [ "x$2" = xconfigure ]; then + echo "Enabling group writing permission on all installed software..." + chmod -R g+w .local/; +fi -- cgit v1.2.1