OK, creo que esto solía ser una opción en una versión anterior de OSX, pero no puedo encontrar en la última versión.
¿Cómo puedo vincular una tecla determinada (como F16, por ejemplo) para ejecutar un comando de Terminal? Prefiero no instalar ningún servicio adicional.