[01:33:55] bd808 dhinus thank you both. I think I better try with smaller vms first, as it took very long to fail. Combining the CLI arguments and the ui, seems to be my best bet to get something up and running. [05:32:09] Hello. I would like to know if it is possible to change my UNIX shell username in my Wikimedia Developer Account. [07:35:00] looks like no. https://wikitech.wikimedia.org/wiki/SRE/LDAP/Renaming_users [07:35:01] https://wikitech.wikimedia.org/wiki/Help:Toolforge/Tool_accounts#Rename_a_tool_account_/_tool [07:47:07] I investigated a bit https://integration.wikimedia.org/ci/job/beta-code-update-eqiad/584959/console I'm guessing some kind of jenkins bug/instability? before and after deploys were fine. the file does still exist, is owned by jenkins-deploy so jenkins definitely had permissions to do the deletion. [07:47:08] seems like usually the file gets deleted at the end of each deploy but that host still has that one and one from Dec 15. jenkins says before an hour ago the last failure for that job was 2.5 years ago. if I understand the web interface correctly. anyway not going to worry about it much because fixed itself and hasn't happened in apparently years. [11:13:13] PAC2: it is not possible to change a shell name without creating a new account from scratch. That shell name is embedded in every aspect of your account on many different services. Sorry :( [15:24:37] !log wikiqlever test cluster set up using ui and values from https://horizon.wikimedia.org/ngdetails/OS::Magnum::Cluster/e8ef3269-4e44-4a0f-86f2-ac4088407321 starting with 0 worker nodes and scaling up was a success [15:24:39] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Wikiqlever/SAL