else
cp "${config_tree_prefix}/setup_scripts/mirror_dir.sh" /home/plom/
chmod a+w /var
- if ["${init_state}" = "copy" ]; then
+ if [ "${init_state}" = "copy" ]; then
su -lc "./mirror_dir.sh ${old_server} /var/repos" plom
else
su -lc "./mirror_dir.sh ${old_server} /var/public_repos" plom
elif [ "${init_state}" = "new" ]; then
su -lc "cd /var/repos && git init --bare website.git" plom
fi
-# TODO: find out whether this can be part of cloned repo …?
cp "${config_tree_prefix}/other_files/website_hook_post-receive" /var/repos/website.git/hooks/post-receive
su -lc 'cd /var/www && git clone /var/repos/website.git .' plom
+# NOTE: There seems to be a bug that creates a root-owned /var/www/html on
+# init_state=copy for some reason, at least if website.git is an empty repo.
+# The following might fix this:
+mkdir -p /var/www/html
+chown -R plom:plom /var/www/html
# Add encryption key.
keyservers='sks-keyservers.net/ keys.gnupg.net'
service plomlombot start
# TODO:
-# - commit git-daemon-export-ok directly into the public repos; rename
-# /home/plom/public_repos to /home/plom/repos
+# - rename /home/plom/public_repos to /home/plom/repos
service nginx restart