aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-03-11 21:09:04 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-03-11 21:09:04 +0000
commit7ea5e28b74535797277c2f796dcaddf7425a7d61 (patch)
treeff7c3c3b2e93e363fbeb63a82fdb19a19dedbbcc
parent37b4551dc7cb394a76be1534a3c4de90bdb569c3 (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.
-rw-r--r--.file-metadatabin3956 -> 3956 bytes
-rwxr-xr-xfor-group16
2 files changed, 16 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata
index e1db277..9d0d613 100644
--- a/.file-metadata
+++ b/.file-metadata
Binary files 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