Rename a Resource Without Replacing It

This machine has OpenTofu, the open-source tool that reads the same configuration language as Terraform. Run it as tofu (terraform runs the same program). There is no network: the local, random and null providers are already installed.

In /home/student/infra/relay, the resource random_pet.name generates the public name of a running server. The team wants it called random_pet.server_name. A naïve rename would destroy the old name and generate a new one, breaking every link.

Task

• In the code, the resource is called random_pet.server_name (nothing is called random_pet.name any more).
• The state tracks it as random_pet.server_name with the same value as before.
• The file /home/student/out/hostname.txt keeps the same content.
• A new plan reports no changes.