This is the update script we use to update the server and Docker installation. It's boring, but it works.