La página volverá a cargarse después de modificar este control
Crear teclas de función personalizadas en Terminal
Para trabajar con más eficacia puedes crear teclas de función personalizadas en Terminal.
Selecciona Terminal > Preferencias y haz clic en Perfiles.
Selecciona un perfil en la lista de la izquierda.
Haz clic en Teclado.
Selecciona una tecla de la lista Tecla y haz clic en Edición, o bien haz clic en el botón Agregar (+) para crear una nueva combinación de teclas.
Haz clic en el menú desplegable Tecla y selecciona una.
Haz clic en el menú desplegable Modificador y selecciona una tecla modificadora (selecciona “ninguno” si no quieres usar un modificador con una tecla).
Haz clic en el menú desplegable Acción y selecciona la función que quieres que realice la tecla.
Ingresa la función que quieres asignar a la combinación de teclas y haz clic en OK.
Véase tambiénPanel de preferencias Teclado de Terminal