Migration from LDAP

If LDAP was used before, the usernames are just lastname and now need to be changed to lastname@fs.tum.de:

Run in Django shell (manage.py shell):

from django.contrib.auth import get_user_model

User = get_user_model()

# change username
for u in User.objects.all():
     u.username = u.username + "@fs.tum.de"
     u.save()

# check
for u in User.objects.all():
     print(u.username)