#!/bin/bash

if [ "$#" -ne 1 ]; then
    echo "Usage: $0 <day>"
    exit 1
fi
DAY=$1

SESSION_COOKIE=$(keyring get aoc-session-cookie felixm)
echo $SESSION_COOKIE

curl "https://adventofcode.com/2023/day/$DAY/input" --cookie "session=$SESSION_COOKIE" > "i$DAY.txt"