portaljs-add-map

1# PortalJS — Add Map
2 
3## Overview
4 
5Add an interactive Leaflet map as a view on a dataset's **showcase** in a
6`portaljs-catalog` portal. The skill installs `react-leaflet`/`leaflet` (added directly —
7never `@portaljs/components`), writes a reusable `Map` component split across
8`MapView.tsx` (the Leaflet code) and `Map.tsx` (a `dynamic(..., { ssr: false })` wrapper,
9since Leaflet touches `window` at module load), and renders `<Map />` into the **Views**
10section of the showcase route `pages/[owner]/[slug].tsx` for one chosen GeoJSON dataset.
11The dataset should already carry `format: "geojson"` in `datasets.json`; if it doesn't
12exist yet, the skill can copy the file and register it first.
13 
14## Prerequisites
15 
16- A scaffolded PortalJS portal (see `portaljs-new-portal`).
17- The target dataset registered in `datasets.json` with `format: "geojson"` (see
18  `portaljs-add-dataset`), or a GeoJSON source file/URL to register.
19- Node 18+ and npm available in the portal directory.
20 
21## Instructions
22 
23The canonical, full step-by-step workflow is
24[`.claude/commands/portaljs-add-map.md`](https://github.com/datopian/portaljs/blob/main/.claude/commands/portaljs-add-map.md) — the
25single source of truth. Read and follow it when executing. Summary:
26 
271. Gather input — dataset slug (or a GeoJSON source to register), portal directory. If any
28   is missing, interview the user; never dead-end on a missing value.
292. Validate the portal directory (`datasets.json`, `package.json`,
30…