Wardormeur
commented
7 years ago The main reason we wanted to avoid it I believe was because it's user input based, with different charsets and we had other priorities than doing some manual escaping that could break the export (or the file, different filesystem/authorised characters); hence the dojoId instead of the dojo name. ^should be taken into account for anyone developping this solution
Currently, when I export the users, I the the file name
0be123e7-c9be-4002-a3cf-f0c8550f749a-user-export.csv. I would like it to contain the dojo name and the current date:user-export-potsdam@hpi-2017-26-01-10-52.csv