如何下载一个HTML的源代码？

要下载一个HTML的源代码，可以按照以下步骤进行操作：

1. 打开你想要下载源代码的网页，确保你已经访问到了该网页的HTML源代码。
2. 在网页上点击右键，弹出菜单中选择“查看页面源代码”或类似选项。这将打开一个新的窗口或标签页，显示网页的HTML源代码。
3. 在新的窗口或标签页中，按下键盘上的Ctrl+A（Windows）或Command+A（Mac）组合键，以选中整个源代码。
4. 再按下Ctrl+C（Windows）或Command+C（Mac）组合键，将选中的源代码复制到剪贴板中。
5. 打开一个文本编辑器，如记事本（Windows）或文本编辑器（Mac）。
6. 在文本编辑器中按下Ctrl+V（Windows）或Command+V（Mac）组合键，将剪贴板中的源代码粘贴到文本编辑器中。
7. 保存文件时，将文件类型设置为HTML（或以.html为扩展名），并选择保存的位置。

这样，你就成功地下载了该网页的HTML源代码。请注意，下载的源代码可能包含网页中的所有内容，包括CSS样式和JavaScript代码。