frontend/src/lib/fetch.ts

@@ -1,5 +1,5 @@
 import streamSaver from "streamsaver";
-import { zData, type Distribution, zDumpError, zDumpMetadata } from "common/schema";
+import { zData, type Distribution, zError, zDumpMetadata } from "common/schema";
 
 export async function downloadFile(
   dataPath: string,
@@ -73,6 +73,6 @@ export async function fetchErrors(url: string) {
     .split("\n")
     .filter((line) => !!line)
     .map((line) => JSON.parse(line))
-    .map((json) => zDumpError.parse(json));
+    .map((json) => zError.parse(json));
   return lines;
 }

frontend/src/lib/routes/Dataset.svelte

@@ -13,6 +13,7 @@
 
   $: data = Promise.all([fetchData(url), fetchErrors(url)])
     .then(([data, errors]) => ({ data, errors }))
+    .catch(alert);
 </script>
 
 <main class="mx-auto max-w-3xl">
@@ -101,8 +102,6 @@
           {/each}
         </ul>
       {/if}
-    {:catch error}
-      Hubo un error intenando cargar este dataset archivado. <pre>{error}</pre>
     {/await}
   </Container>
 </main>

frontend/src/lib/routes/Home.svelte

@@ -32,19 +32,12 @@
         <!-- nPortales: find . -maxdepth 1 -mindepth 1 -type d | wc -l -->
         <!-- nDatasets: jq '.dataset | length' */data.json | awk '{s+=$1} END {print s}' -->
         <!-- size: du -sh -->
-        <Dump
-          dumpUrl="https://archivos.nulo.ar/portales-de-datos/dump-2023-12-09/"
-          nPortales={51}
-          nDatasets={4157}
-          size="155 GB"
-          glow>29 de diciembre de 2023</Dump
-        >
         <Dump
           dumpUrl="https://archivos.nulo.ar/portales-de-datos/dump-2023-12-09/"
           nPortales={50}
           nDatasets={4098}
           size="147 GB"
-          >9 de diciembre de 2023</Dump
+          glow>9 de diciembre de 2023</Dump
         >
         <Dump
           dumpUrl="https://archivos.nulo.ar/dump-2023-12-08/"

frontend/src/lib/routes/Portal.svelte

@@ -13,6 +13,7 @@
 
   $: data = Promise.all([fetchData(url), fetchErrors(url)])
     .then(([data, errors]) => ({ data, errors }))
+    .catch(alert);
 
   function arreglarHomepageUrl(url: string): string {
     if (!url.startsWith("http://") && !url.startsWith("https://"))