chiark / gitweb /
dev-setup: allow a path prefix for use in chroots