查看html代码来下载mp4视频的一次记录

背景：朋友的领导要求学习某地方网站的视频资料，但由于网速太差，时常卡顿，想要下载观看。（不外传，内部学习使用。）
前提：了解过html，知道标签，有IDM下载器，曾经给领导从网站下过一些学习资源。
系统：win10 64位
浏览器：Chrome

——设想开始——

1.谷歌浏览器打开网页，登录账号，找到需要下载的视频页面。
2.用F12（或右键-检查），弹出框左上角箭头点击，点击视频部分，获得.mp4的url。
3.复制url，粘贴到新标签，回车，在视频右下角选择下载。（或直接激活IDM下载。）
if 视频较大，直接把网址给朋友自己下。（虽然可以替他用小丸压缩，但我懒。）
if 视频地址是blob啊m3u8啊ts之类……不至于吧！！这个网站这么普普通通！真要有，可能就得借助M3U8 Downloader之类的工具。

——进入实践——

登录顺利。在进入网页之后我愣了。
设想过它会切割或加密，然而我独独没想到，这个PC端的视频居然是在flash播放器里播放的？！
尴尬1.您的电脑未安装flashplayer，请点击下载。
尴尬2.flash不是马上就停止服务了吗为什么还要用它？关键是无法播放，我也没办法从检查-Network中捕获到数据流。

我陷入了沉思，然后默默转到手机页面。
手机页面可以用正常思路获取到.mp4的url。这说明这分明就是个mp4文件——思考还没结束，电脑端一定有几个可以获取它的方法。
1.在Sources中找到.mp4，可行。
2.在html中Ctrl+F搜索mp4，居然被我找到了。这个地址存在于播放器下面的一个隐藏的模块，id=“flashid”。可行。成功通过多个途经get到下载地址。
朋友欢欣不已。
————

应用谷歌浏览器检查功能获取资源的小总结：

从video标签中直接获取。（常规方案，也可寻找img获取图片。）
点开Network，刷新网页，找到type为media的部分。（同样可获取img，不一定总有效，特别是被切割成几秒钟一段的视频，脑壳疼。）
点开Sources寻找。
直接检索可能的媒体后缀，或可能的id，类似于使用弱口令枚举。

后续：对JavaScript的一些功能操作产生兴趣，还有记录观看时长，URL加密等，有待学习。以及我给他整了个异地登录会不会被警告【挠头】