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 (
  43 set -e
  44 set -o pipefail
  45
  46 default_branch=$(GIT_DIR="$directory" git show repo-mgmt:default-branch)
  47 if [ -n "$default_branch" ]
  48 then
  49         echo "Setting default branch to '$default_branch'..." >&2
  50         GIT_DIR="$directory" git symbolic-ref HEAD refs/heads/"$default_branch"
  51 fi
  52 )
  53
  54 errstatus=$?
  55 echo "Repo management commands are over." >&2
  56 echo "----" >&2
  57 exit $errstatus