Emacs Tramp ssh doble salto

¿Podría alguien ayudarme a configurar Emacs Tramp para hacer un doble salto? Quiero trabajar en machine2.abc.def.edu al que puedo conectarme solo a través de machine1.abc.def.edu. Mi nombre de usuario es mi nombre, en ambas máquinas lo mismo.

He intentado agregar .emacs:

(add-to-list 'tramp-default-proxies-alist
          '("\\`machine2\\.abc\\.def\\.edu\\'"
            "\\`myname\\'"
            "/ssh:machine1\\.abc\\.def\\.edu:"))

Esta es mi mejor interpretación de lo que está en el manual. Luego hago: C-x C-f /ssh:machine2.abc.def.edu o: C-x C-f /ssh:[email protected]

Pero ambos dan:

ssh: Could not resolve hostname ssh: nodename nor servname provided, or not known
Process *tramp/scpc ssh* exited abnormally with code 255

Y mis Aquamacs no pueden dejar de fumar y deben ser asesinados desde la cáscara ... Hay un hilo de 2 años aquí con la misma pregunta. He intentado la respuesta desde allí:

(add-to-list 'tramp-default-proxies-alist
          '("machine2.abc.def.edu"
            nil
            "/ssh:[email protected]:"))

Con los mismos resultados ... también para todas las combinaciones que se me ocurrieron ... Sin embargo, la edición remota en machine1.abc.def.edu funciona bien.

Respuestas a la pregunta(3)

Su respuesta a la pregunta