下载HTML视频的方法有多种，以下是其中一种常用的方法：

1、使用浏览器插件或扩展程序

打开你的浏览器（如Chrome、Firefox等）。

在浏览器的插件或扩展程序商店中搜索并安装一个视频下载插件，quot;Video DownloadHelper"、"Flash Video Downloader"等。

安装完成后，重新加载你想要下载视频的网页。

当视频开始播放时，插件会自动检测到视频链接，并提供下载选项，点击下载按钮即可将视频保存到本地。

2、使用在线视频下载工具

打开一个在线视频下载网站，quot;SaveFrom.net"、"ClipConverter.cc"等。

将你想要下载的视频链接复制粘贴到网站的输入框中。

点击下载按钮，网站会解析视频链接并提供下载选项。

根据提示选择视频质量和格式，然后点击下载按钮即可将视频保存到本地。

3、使用命令行工具

如果你熟悉命令行操作，可以使用一些命令行工具来下载HTML视频。

安装一个命令行工具，quot;youtubedl"（用于下载YouTube视频）或"youget"（支持多种视频网站）。

打开命令行终端，进入包含视频链接的目录。

运行相应的命令来下载视频，例如对于"youtubedl"，可以运行youtubedl video_link来下载YouTube视频。

工具会根据视频链接自动解析并提供下载选项，根据提示选择视频质量和格式，然后等待下载完成即可。

请注意，不同的方法和工具可能适用于不同的浏览器和操作系统，在使用任何方法之前，请确保你已经了解并遵守相关的使用条款和法律法规。