[DEFAULT] lib = has_ssh_key() { case "$(hostname)" in xoog|fehawnok) if ssh-add -l > /dev/null; then return 0 fi ;; esac return 1 } tagged() { grep -qs "$1" "/etc/err.no/host.tags" } [dotfiles] checkout = git clone git@git-dotfiles:personal/tfheen/dotfiles dotfiles [src/eweouz] checkout = git clone 'git://git.err.no/eweouz' eweouz [debian/debian.org] checkout = git clone 'git@git2.debian.org:dsa/debian.org' skip = ! tagged desktop [debian/domains] checkout = git clone 'git@git2.debian.org:dsa/domains.git' skip = ! tagged desktop [debian/auto-dns] checkout = git clone 'git@git2.debian.org:dsa/auto-dns' skip = ! tagged desktop [debian/dsa-wiki] checkout = git clone 'git@git2.debian.org:dsa/dsa-wiki' skip = ! tagged desktop [debian/fastly] checkout = git clone 'git@git2.debian.org:dsa/fastly' skip = ! tagged desktop [debian/userdir-ldap] checkout = git clone 'git@git2.debian.org:dsa/userdir-ldap' skip = ! tagged desktop [src/eweouz] checkout = git clone 'git://git.err.no/eweouz' eweouz