Write an SSH Client Config

You connect to the primary database server many times a day with a long command. Save it as an alias for the student account.

Task

Configure ssh so that ssh primary (run as student) connects with these settings:

• host name primary.db.internal
• user ivan
• port 2299
• the private key /home/student/.ssh/primary_ed25519
• through the jump host bastion.internal
• only that key is offered (no other keys from the agent or defaults)