diff options
| -rwxr-xr-x | gis-observation-map | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gis-observation-map b/gis-observation-map index c5889e4..e02eef5 100755 --- a/gis-observation-map +++ b/gis-observation-map @@ -677,6 +677,11 @@ if args.topo_basedir is not None: if not d.is_dir(): continue + if args.project_home is not None: + l = Path(args.project_home).expanduser().joinpath(topo) + l.symlink_to(d, target_is_directory=True) + d = l + idx = d.joinpath('index.geojson') if idx.is_file(): tiles = idx_intersects(idx.as_posix(), geometries) |