User setup

If all is well, Yuri or a head TA should have sent you a list of students and groups (in my case an Excel sheet).
The users in each group should have a separate login to the server that corresponds to their group.

- By default, their username is their first name (with digits added in case of duplicates).
- Login used to be with a randomly generated password, but we switched to SSH keys this year. The public SSH keys are supplied via a DataNose form which can be exported to an Excel sheet.
	- Make sure this form is sent out on time; we want enough time for students to enter the data.

A useful script to generate user data is provided:

- `generate_group_data.py` takes a student-to-group CSV and a student-to-SSH-key CSV and generates a file containing the group data in this format:

```
{
	<group_name>: [<student>...]	
}
```

where `<student>` is of the form

```{name: <username>, keys: <keys separated by newlines>}```

## User creation play
- Create users group
- Set permissions on /var/www/**
- Enable sudo
- Create user accounts
- Set up authorized_keys
- Create public_html directories
- Set up mysql password

id: d1a3b46d2b3c4777aea6d3e59443fa00
parent_id: d497e9fa1bed4818928f4c774b0f8a6b
created_time: 2022-12-30T18:29:10.678Z
updated_time: 2023-01-04T00:35:39.590Z
is_conflict: 0
latitude: 52.37021570
longitude: 4.89516790
altitude: 0.0000
author: 
source_url: 
is_todo: 0
todo_due: 0
todo_completed: 0
source: joplin-desktop
source_application: net.cozic.joplin-desktop
application_data: 
order: 1672424950678
user_created_time: 2022-12-30T18:29:10.678Z
user_updated_time: 2023-01-04T00:35:39.590Z
encryption_cipher_text: 
encryption_applied: 0
markup_language: 1
is_shared: 0
share_id: 
conflict_original_id: 
master_key_id: 
type_: 1