Browse Source

script de mise à jour des libs : toujours utiliser la dernière version disponible + mise à jour du chemin de l'icone pour leaflet fullscreen

pull/41/head
b_b 5 months ago
parent
commit
f281d39d99
  1. 9
      lib/leaflet/deps.sh

9
lib/leaflet/deps.sh

@ -3,11 +3,11 @@ declare -a js=(
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/tile/Bing.js"
"https://raw.githubusercontent.com/brunob/leaflet.fullscreen/master/Control.FullScreen.js"
"https://raw.githubusercontent.com/Norkart/Leaflet-MiniMap/master/src/Control.MiniMap.js"
"https://unpkg.com/leaflet.gridlayer.googlemutant@0.13.4/dist/Leaflet.GoogleMutant.js"
"https://unpkg.com/leaflet.gridlayer.googlemutant@latest/dist/Leaflet.GoogleMutant.js"
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/vector/GPX.js"
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/vector/GPX.Speed.js"
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/vector/KML.js"
"https://unpkg.com/leaflet.markercluster@1.5.3/dist/leaflet.markercluster-src.js"
"https://unpkg.com/leaflet.markercluster@latest/dist/leaflet.markercluster-src.js"
"https://raw.githubusercontent.com/leaflet-extras/leaflet-providers/master/leaflet-providers.js"
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/Marker.Rotate.js"
"https://raw.githubusercontent.com/shramov/leaflet-plugins/master/layer/vector/TOPOJSON.js"
@ -17,8 +17,7 @@ do
wget $i -O "plugins/$( basename $i )"
done
declare -a images=(
"https://raw.githubusercontent.com/brunob/leaflet.fullscreen/master/icon-fullscreen.png"
"https://raw.githubusercontent.com/brunob/leaflet.fullscreen/master/icon-fullscreen-2x.png"
"https://raw.githubusercontent.com/brunob/leaflet.fullscreen/master/icon-fullscreen.svg"
"https://raw.githubusercontent.com/Norkart/Leaflet-MiniMap/master/src/images/toggle.png"
"https://raw.githubusercontent.com/Norkart/Leaflet-MiniMap/master/src/images/toggle.svg"
);
@ -27,7 +26,7 @@ do
wget $i -O "plugins/images/$( basename $i )"
done
wget -O plugins/leaflet.markercluster.css https://unpkg.com/leaflet.markercluster@1.5.3/dist/MarkerCluster.css https://unpkg.com/leaflet.markercluster@1.5.3/dist/MarkerCluster.Default.css
wget -O plugins/leaflet.markercluster.css https://unpkg.com/leaflet.markercluster@latest/dist/MarkerCluster.css https://unpkg.com/leaflet.markercluster@latest/dist/MarkerCluster.Default.css
# todo dans plugins/leaflet-plugins.css avec ajout de images/ aux url(xxx)
# https://raw.githubusercontent.com/brunob/leaflet.fullscreen/master/Control.FullScreen.css

Loading…
Cancel
Save