From 7ea5e28b74535797277c2f796dcaddf7425a7d61 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
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