HTML视频下载的方法有很多，这里将介绍几种常见的方法。
1、使用浏览器内置的下载功能
大部分浏览器都支持直接下载网页中的视频文件，以下是在不同浏览器中下载视频的方法：
- 谷歌浏览器（Chrome）：
1. 打开包含视频的网页。
2. 右键点击视频，选择“另存为”或“保存视频为”。
3. 选择保存位置，然后点击“保存”。
- 火狐浏览器（Firefox）：
1. 打开包含视频的网页。
2. 右键点击视频，选择“另存为链接为”。
3. 选择保存位置，然后点击“保存”。
- 欧朋浏览器（Opera）：
1. 打开包含视频的网页。
2. 右键点击视频，选择“另存为”。
3. 选择保存位置，然后点击“保存”。
- Microsoft Edge：
1. 打开包含视频的网页。
2. 右键点击视频，选择“另存为”。
3. 选择保存位置，然后点击“保存”。
2、使用在线视频下载工具
如果你不想安装任何软件，可以使用在线视频下载工具来下载HTML视频，以下是一些常用的在线视频下载工具：
- SaveFrom.net：这是一个非常受欢迎的在线视频下载工具，支持多种格式的视频文件，只需将视频链接粘贴到输入框中，选择输出格式和质量，然后点击“下载”按钮即可。
- OnlineVideoConverter.com：这个网站也提供了在线视频下载服务，你可以将视频链接粘贴到输入框中，选择输出格式和质量，然后点击“转换”按钮，转换完成后，点击“下载”按钮即可将视频保存到本地。
- KeepVid：这是一个功能强大的在线视频下载工具，支持多种格式的视频文件，只需将视频链接粘贴到输入框中，选择输出格式和质量，然后点击“下载”按钮即可。
3、使用桌面软件下载HTML视频
如果你想更高效地下载HTML视频，可以考虑使用桌面软件，以下是一些常用的桌面视频下载软件：
- Freemake Video Downloader：这是一个免费的桌面视频下载软件，支持多种格式的视频文件，只需将视频链接粘贴到软件中，选择输出格式和质量，然后点击“下载”按钮即可。
- Internet Download Manager（IDM）：这是一款功能强大的下载管理器，支持多种格式的视频文件，只需将视频链接粘贴到软件中，选择输出格式和质量，然后点击“下载”按钮即可。
- Any Video Converter：这是一个免费的桌面视频转换软件，支持多种格式的视频文件，你可以将视频链接粘贴到软件中，选择输出格式和质量，然后点击“转换”按钮，转换完成后，可以将视频保存到本地。
4、使用命令行工具下载HTML视频
如果你熟悉命令行操作，可以使用命令行工具来下载HTML视频，以下是一些常用的命令行视频下载工具：
- Youtube-dl：这是一个非常强大的命令行视频下载工具，支持多种格式的视频文件，只需在命令行中输入相应的命令，即可将视频下载到本地。youtube-dl -f best video_url。
- Vixy：这是一个专门用于下载Youtube视频的命令行工具，只需在命令行中输入相应的命令，即可将Youtube视频下载到本地。vixy video_url。
HTML视频下载的方法有很多，你可以根据自己的需求和喜好选择合适的方法，不过需要注意的是，在下载视频时请遵守相关法律法规，尊重知识产权。