From 24185609750b36d58027c42a6c352a0e43bad60a Mon Sep 17 00:00:00 2001
From: Rohan Kumar <seirdy@seirdy.one>
Date: Tue, 14 Nov 2023 23:01:46 -0800
Subject: [PATCH] use curl -o instead of shell redirection

---
 scripts/get-webmentions.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/get-webmentions.sh b/scripts/get-webmentions.sh
index afd3482..12e2948 100644
--- a/scripts/get-webmentions.sh
+++ b/scripts/get-webmentions.sh
@@ -30,7 +30,7 @@ token() {
 
 # use that token to fetch all webmentions
 fetch_webmentions() {
-	ccurl --compressed -H "Authorization: Bearer $(token)" "$webmentions_url"
+	ccurl --compressed -H "Authorization: Bearer $(token)" "$webmentions_url" -o "$webmentions_file"
 }
 
 # fetch webmentions if we don't have a fresh copy already.
@@ -40,5 +40,5 @@ if [ -f "$webmentions_file" ] \
 	echo 'Using cached webmentions'
 else
 	echo 'Fetching webmentions'
-	fetch_webmentions >"$webmentions_file"
+	fetch_webmentions
 fi