git-server/git-repo-mgmt

   1 #!/bin/bash
   2
   3 set -u
   4
   5 directory=$1
   6
   7 echo "----" >&2
   8 echo "Performing repo management commands..." >&2
   9
  10 (
  11 set -e
  12 set -o pipefail
  13
  14 GIT_DIR="$directory" git show repo-mgmt:access |\
  15 while read -r line
  16 do
  17         case "$line" in
  18         public)
  19                 echo "Making '$directory' public..." >&2
  20                 chmod o+rx "$directory"
  21                 ;;
  22         private)
  23                 echo "Making '$directory' private..." >&2
  24                 setfacl -b "$directory"
  25                 chmod g-rwx,o-rwx "$directory"
  26                 ;;
  27         default)
  28                 # leave permissions as they are set at the beginning
  29                 true
  30                 ;;
  31         delete)
  32                 echo "Deleting '$directory'..." >&2
  33                 rm -rf --one-file-system "$directory"
  34                 ;;
  35         *)
  36                 echo "Unknown directive: '$line'" >&2
  37                 ;;
  38         esac
  39 done
  40 )
  41
  42 errstatus=$?
  43 echo "Repo management commands are over." >&2
  44 echo "----" >&2
  45 exit $errstatus