server/* . debian/tmp/* .