关于矢量切片

凭回忆记一点：

geoserver想切mapbox对应的矢量切片的话，需要安装对应的geoserver版本的插件。https://build.geoserver.org/geoserver/2.13.x/ext-latest/

（PS:上传不同格式的样式文件的时候也需要在这里进行相应插件的安装）

geoserver进行矢量切片的时候，有好几种可选的格式：geojson，topojson（记不清怎么拼），以及对应于mapbox的pbf格式。

openlayer和leaflet加载矢量切片的话主要是geojson格式。

 

PS：补充一点：不同的电子地图zoom级别不一样。谷歌地图1-22级，百度3-20级。