commit 4601a1d688d05d300308d2bd861e16c1c81787a3
parent 229f33c4a66b8d4c60bfe39a068c34bf095f5728
Author: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Sat, 1 Jul 2023 12:51:04 +0200
sfeedrc.5: remove branding (shaken, not stirred)
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sfeedrc.5 b/sfeedrc.5
@@ -1,4 +1,4 @@
-.Dd June 9, 2023
+.Dd July 1, 2023
.Dt SFEEDRC 5
.Os
.Sh NAME
@@ -167,7 +167,7 @@ file:
# fetch(name, url, feedfile)
fetch() {
# allow for 1 redirect, set User-Agent, timeout is 15 seconds.
- curl -L --max-redirs 1 -H "User-Agent: sfeed" -f -s -m 15 \e
+ curl -L --max-redirs 1 -H "User-Agent: 007" -f -s -m 15 \e
"$2" 2>/dev/null
}
.Ed