如何下载网页中的json文件

之前在做echarts3d和地图结合时时，想着在网上找个例子借鉴一哈，于是在https://gallery.echartsjs.com找到一个示例，

可以看到有json文件，但这个作者并没有把json文件发出来，于是我灵机一动，想到之前详细了解过Google的控制台，这时候只要f12检查一下，找到network，

可以看到页面加载的各种文件，然后把想要下载的文件名在filter里输入，就能找到想要下载的文件啦，

然后双击文件就会自动下载了。