editproj.cgi: Improve form layout alignment
[girocco.git] / shlib.sh
blob52240732a196fe5c75282e4ea3fb89dcb5855d8c
1 #!/bin/bash
3 # This is generic shell library for all the scripts used by Girocco;
4 # most importantly, it introduces all the $cfg_* shell variables.
7 # Import all the variables from Girocco::Config to the local environment,
8 # prefixing them with 'cfg_'. E.g. $cfg_admin is admin's mail address now.
9 __girocco_conf="$GIROCCO_CONF"
10 [ -n "$__girocco_conf" ] || __girocco_conf="Girocco::Config"
11 [ -z "$basedir" ] || __girocco_extrainc="-I$basedir"
12 eval $(perl -I@basedir@ $__girocco_extrainc -M$__girocco_conf -le \
13 'foreach (keys %Girocco::Config::) {
14 my $val = ${$Girocco::Config::{$_}}; $val ||= "";
15 print "cfg_$_=\"$val\"";
16 }')
19 git() { "$cfg_git_bin" "$@"; }
22 # bang CMD... will execute the command with well-defined failure mode;
23 # set bang_action to string of the failed action ('clone', 'update', ...);
24 # pre-set bang_once=1 to make sure jobs banging on a repo repeatedly will
25 # not spam the owner; re-define the bang_trap() function to do custom
26 # cleanup before bailing out
27 bang() {
28 if [ -n "$show_progress" ]; then
29 if "$@" | tee -a "$bang_log" 2>&1; then
30 # All right. Cool.
31 return;
33 else
34 if "$@" >>"$bang_log" 2>&1; then
35 # All right. Cool.
36 return;
39 errcode="$?"
40 if ! [ -e .banged ]; then
42 echo "$* failed with error code $errcode"
43 [ ! -n "$bang_once" ] || echo "you will not receive any more notifications until recovery"
44 echo "Log follows:"
45 cat "$bang_log"
46 } | mail -s "[$cfg_name] $proj $bang_action failed" "$mail,$cfg_admin"
48 touch .banged
49 bang_trap
50 exit 1
53 # Default bang settings:
54 bang_setup() {
55 bang_action="lame_programmer"
56 bang_once=
57 bang_trap() { :; }
58 bang_log="$(mktemp -t repomgr-XXXXXX)"
59 trap "rm \"\$bang_log\"" EXIT
63 # Progress report - if show_progress is set, shows the given message.
64 progress() {
65 [ ! -n "$show_progress" ] || echo "$@"
69 # Project config accessors; must be run in project directory
70 config_get() {
71 git config "gitweb.$1"
74 config_set() {
75 git config "gitweb.$1" "$2" && chgrp repo config && chmod g+w config
78 config_set_raw() {
79 git config "$1" "$2" && chgrp repo config && chmod g+w config
83 # Tool for checking whether given number of seconds has not passed yet
84 check_interval() {
85 od="$(config_get "$1")"
86 [ -n "$od" ] || return 1
87 os="$(date +%s -d "$od")"
88 [ -n "$os" ] || return 1
89 ns="$(date +%s)"
90 [ $ns -lt $(($os+$2)) ]
94 # List all Git repositories, with given prefix if specified, one-per-line
95 get_repo_list() {
96 if [ -n "$1" ]; then
97 cut -d : -f 1,3 "$cfg_chroot"/etc/group | grep "^$1"
98 else
99 cut -d : -f 1,3 "$cfg_chroot"/etc/group
100 fi | while IFS=: read name id; do
101 [ $id -lt 65536 ] || echo "$name"
102 done