So I’m logged in now thanks to Christian’s advice but haven’t figured out how to change the IP address.
According to this article I can do it using the given commands:
But before I had a network interface ens192 now it’s docker0 and changing the gateway results in an error message referring to ens192.
Also, i can’t see the change of IP address for docker0 which didn’t give an error message.