La etiqueta de video tiene un botón de descarga, es posible modificar el evento de descarga.
Por ejemplo, modifique el nombre del archivo de descarga.
Intenté modificar el atributo de download de la etiqueta de video, pero no funciona cuando blob video src como se describe en la pregunta Cómo configurar la extensión de archivo de descarga para datos de blob
Tenga en cuenta que para inspeccionar el botón Descargar de la etiqueta de video,
Configuración|Preferencias -> Elementos -> Mostrar agente de usuario shadow DOM
El control de descarga no es realmente parte de la especificación HTML5, sino que lo implementa el agente de usuario, es decir, el navegador.
Los navegadores pueden implementar controles de manera diferente, pero la mayoría permitirá la descarga de archivos mediante un clic derecho; puede ver esto en su ejemplo anterior, donde al hacer clic derecho le da la opción de 'Guardar video como...'.
Sin embargo, creo que te refieres a un botón de descarga integrado en los controles de video estándar, es decir, el mismo lugar donde están los botones 'Reproducir', 'Avance rápido', etc.
La especificación HTML5 no dice que se deba admitir un control de descarga; la redacción que usa la especificación es ( https://html.spec.whatwg.org/multipage/media.html#the-video-element ):
Esta interfaz de usuario debe incluir funciones para comenzar la reproducción, pausar la reproducción, buscar una posición arbitraria en el contenido (si el contenido admite la búsqueda arbitraria), cambiar el volumen, cambiar la visualización de subtítulos ocultos o pistas de lenguaje de señas incrustadas, seleccionar audio diferente pistas o active las descripciones de audio, y muestre el contenido multimedia de la manera más adecuada para el usuario (por ejemplo, video de pantalla completa o en una ventana de tamaño independiente). También pueden estar disponibles otros controles.
Chrome, por ejemplo, proporciona el botón de descarga que muestra arriba como parte de los controles estándar, pero Safari no:
Suponiendo que desea que su solución funcione también en todos los navegadores, es probable que el mejor enfoque sea agregar controles personalizados usted mismo a su elemento de video en su página o usar un reproductor de terceros que pueda proporcionar la funcionalidad de descarga que funcione como le gustaría.
Mozilla proporciona una buena guía (en el momento de escribir este artículo) para crear un estilo de controles de video personalizados a los que podría agregar su propio botón de descarga:
También podría adoptar un enfoque más simple y simplemente agregar su propio botón de descarga con el elemento de video en su página, pero eso no es tan elegante.
Si prefiere usar reproductores de terceros, existen complementos para reproductores como video.js para agregar botones de descarga, por ejemplo, https://github.com/7Ds7/videojs-vjsdownload#readme