As discussed in issue, delete any existing user in a Dockerfile before adding the buildfarm user. This is needed because Docker ubuntu:noble now adds an 'ubuntu' user with UID=1000, which is a common UID for users running scripts.
I only tested with gen_doc_script, but I changed it in all other occurrences.
Fixes #1060
As discussed in issue, delete any existing user in a Dockerfile before adding the buildfarm user. This is needed because Docker ubuntu:noble now adds an 'ubuntu' user with UID=1000, which is a common UID for users running scripts.
I only tested with gen_doc_script, but I changed it in all other occurrences.