Modifying Student Real Names¶
Changing Real Names on the Wiki¶
Todo
Install phpMyAdmin for a web interface for changing real names.
To edit user real names manually so they will appear with the Realnames extension, edit the wiki database directly using the following command:
mysql -u root -p wikidb
Enter the <MySQL password> when prompted. Edit entries for individuals on the wiki using
UPDATE user SET user_real_name='<realname>' WHERE user_name='<username>';
Note that user names always begin with a capital letter. Type exit
to quit.
After changing a real name, the server must be restarted:
sudo apache2ctl restart
Changing Real Names in the Survey System¶
Todo
Add instructions for changing real names in Django.