[v4.14 - ch10s02] do280-support user not created with lab start compreview-review ?

[ttc2]

After starting the compreview-review lab, I noticed that do280-support user is not created as expected:

[student@workstation ~]$ lab start compreview-review
SUCCESS Waiting for cluster
SUCCESS Copy exercise files
[...]
SUCCESS Creating do280-platform in IdM
/ Creating do280-presenter in
[...]
SUCCESS Creating do280-presenter in IdM
\ Creating do280-support in
[...]

SUCCESS Creating do280-support in IdM
\ Creating do280-attendee in
[...]
SUCCESS Creating do280-attendee in IdM

[student@workstation ~]$ oc get users
NAME UID FULL NAME IDENTITIES
admin 991858c8-78b8-41d2-94e0-ac649835fe72 Administrator Red Hat Identity Management:dWlkPWFkbWluLGNuPXVzZXJzLGNuPWFjY291bnRzLGRjPW9jcDQsZGM9ZXhhbXBsZSxkYz1jb20
developer ea08e5ae-76fa-44cb-8797-88c3201bff6b Developer User Red Hat Identity Management:dWlkPWRldmVsb3Blcixjbj11c2Vycyxjbj1hY2NvdW50cyxkYz1vY3A0LGRjPWV4YW1wbGUsZGM9Y29t
do280-attendee 1822a7d2-2778-409e-91d7-9e4a6b9f69c9 do280-attendee do280-attendee Red Hat Identity Management:dWlkPWRvMjgwLWF0dGVuZGVlLGNuPXVzZXJzLGNuPWFjY291bnRzLGRjPW9jcDQsZGM9ZXhhbXBsZSxkYz1jb20
do280-platform cd3eb305-6c7b-4a42-a664-9df23111b3dd do280-platform do280-platform Red Hat Identity Management:dWlkPWRvMjgwLXBsYXRmb3JtLGNuPXVzZXJzLGNuPWFjY291bnRzLGRjPW9jcDQsZGM9ZXhhbXBsZSxkYz1jb20
do280-presenter c7e9ee5b-51d2-4d9e-aadd-79a51844d1de do280-presenter do280-presenter Red Hat Identity Management:dWlkPWRvMjgwLXByZXNlbnRlcixjbj11c2Vycyxjbj1hY2NvdW50cyxkYz1vY3A0LGRjPWV4YW1wbGUsZGM9Y29t
[student@workstation ~]$

all other users are created.

Should this do280-support user be created at the lab start or should we create it during the lab ?

[ttc2 · Accepted solution]

I forgot that the user appears in oc get users only once it has login.

The lab finish command does neither clear the users in oc get users nor the identities in oc get identities. So it does not exactly bring back to the status before the lab start.

My initial question is resolved.