From 7af5efff43181ac2ecd5581c251c16b09ffd52e4 Mon Sep 17 00:00:00 2001 From: Joe Hildebrand Date: Sun, 1 Dec 2024 11:44:54 -0700 Subject: [PATCH] lint --- README.md | 4 ++-- day.ts | 5 +++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index ded6ad4..b2e77a9 100644 --- a/README.md +++ b/README.md @@ -9,9 +9,9 @@ This script/repo/tool does follow the automation guidelines on the - Outbound calls are made once from the developer's machine, and once from CI on GitHub Actions. -- Once inputs are downloaded, they are cached locally into the inputs/ directory by `day.ts`. On GHA, this directory is cached to avoid re-requests. +- Once inputs are downloaded, they are cached locally into the inputs/ directory by `day.ts`. On GHA, this directory is cached to avoid re-requests. - If you suspect your input is corrupted, you can manually request a fresh - copy by deleting the cached version in the inputs/ directory. You will + copy by deleting the cached version in the inputs/ directory. You will need to change the cache key manually in GHA to cause a re-download, which will hopefully never be needed. - The User-Agent header in userAgentHeaderFunction() is set to me since I diff --git a/day.ts b/day.ts index 4de85d3..5ac5344 100755 --- a/day.ts +++ b/day.ts @@ -143,9 +143,10 @@ export async function inputs(a: MainArgs): Promise { const inputSrc = `https://adventofcode.com/${YEAR}/day/${a.day}/input`; console.log(`Fetching ${inputSrc}`); const headers = new Headers({ - 'user-agent': `github.com/hildjj/AdventOfCode${YEAR} by joe-github@cursive.net` + 'user-agent': + `github.com/hildjj/AdventOfCode${YEAR} by joe-github@cursive.net`, }); - const res = await fetch(inputSrc, {headers}); + const res = await fetch(inputSrc, { headers }); const input = await res.text(); if (!res.ok) { console.error(res.status, res.statusText);