drbl/debian/script/drbl-tmpdir-config
