[lmi-commits] [lmi] master b65f36f: Make a bare repository sharable by multiple users, part deux

[Greg Chicares]

branch: master
commit b65f36fdca3a1708ede7f4604fc900058e936011
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Make a bare repository sharable by multiple users, part deux
    
    Committed for discussion on mailing list.
---
 gwc/share_git1.sh | 82 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 82 insertions(+)

diff --git a/gwc/share_git1.sh b/gwc/share_git1.sh
new file mode 100755
index 0000000..ee67599
--- /dev/null
+++ b/gwc/share_git1.sh
@@ -0,0 +1,82 @@
+#!/bin/sh
+
+# Attempt to set up a git repository to be shared by multiple users.
+
+set -v
+
+# Start with a fresh throwaway directory.
+cd /tmp || exit
+rm -rf /tmp/eraseme
+mkdir -p /tmp/eraseme
+cd /tmp/eraseme || exit
+
+# expect group users to include 'pulse' as well as normal user:
+getent group audio
+
+# Get this over with early. Reason: if script is piped into 'less',
+# type the password before the screen fills and password characters
+# are treated as 'less' commands.
+sudo --user=pulse true
+
+# There would be no problem below if umask were 002, so one option
+# is to execute
+#   umask 002
+# so that FETCH_HEAD's permissions don't have to be changed below.
+
+# First method: emulate git-clone as three git commands, with
+# a single 'chgrp' call at exactly the right spot.
+
+git init --bare --shared manual.git
+chgrp -R audio manual.git
+git -C manual.git remote add origin https://github.com/wxWidgets/zlib.git
+git -C manual.git fetch origin
+
+find ./manual.git ! -perm -g=w |sed -e'/objects\/pack/d'
+# Oops: FETCH_HEAD doesn't have group permissions:
+ls -l ./manual.git/FETCH_HEAD
+
+# This isn't really necessary; it just makes the result look more like
+# that of the second method, below.
+git -C manual.git pack-refs --all
+
+# this succeeds when run by owner:
+git -C manual.git fetch
+# this fails:
+sudo --user=pulse git -C manual.git fetch
+# but it succeeds if FETCH_HEAD's permissions are fixed:
+chmod g+w manual.git/FETCH_HEAD
+sudo --user=pulse git -C manual.git fetch
+
+# Second method: git-clone --bare --config core.SharedRepository=group
+
+# expect 022 here:
+umask
+# There is no problem below if umask is 002, so one option
+# is to execute
+umask 002
+# here. That affects only the shell in which this script runs,
+# though it has a persistent effect if run at the command line.
+
+chgrp audio .
+chmod g+ws .
+
+git clone --jobs=32 --bare --config core.SharedRepository=group 
https://github.com/wxWidgets/zlib.git
+# this succeeds when run by owner:
+git -C zlib.git fetch
+# this succeeds (but not without 'umask 002' above):
+sudo --user=pulse git -C zlib.git fetch
+
+# The two methods produce somewhat similar results. Sizes:
+du -sb zlib.git manual.git
+# are almost the same. Small differences:
+#  - manual.git/config has this extra line under [remote "origin"]:
+#      fetch = +refs/heads/*:refs/remotes/origin/*
+#    (which is just a default)
+#  - HEAD is
+#      refs/heads/master  [in zlib.git]
+#      refs/heads/wx      [in manual.git]
+#    though both seem to point to the same SHA1
+#  - git-fsck complains about an unborn branch, in manual.git only:
+git -C zlib.git fsck
+git -C manual.git fsck
+