Don't clone the repository into /tmp, since the students will be using the shared student.ese server. Instead, get them to create a 'tmp' directory in their home directory.