Commit 43b45d41 authored by Michael Raskin's avatar Michael Raskin
Browse files

Syncing from Monotone at 20201112-024900. Last commit message was set user agent

parent fe5d45ba
......@@ -15,7 +15,7 @@ if ! echo "$url" | grep -E '^[a-z]+:' > /dev/null; then
echo "$url" > "$target/$basename.url"
curl -L "$url" > "$target/$basename.html"
curl --user-agent 'thoughtful theridion' -L "$url" > "$target/$basename.html"
./ "$url" < "$target/$basename.html" > "$target/$basename.html.txt"
shift; shift
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment