From 3256b0329486f34aa143d13482384aee8182eb76 Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Tue, 10 Sep 2013 11:55:49 -0300
Subject: [PATCH] dsv/dsv: sent User-Agent to "dsv/1.0" (instead of Wget/...)

Digi-Key now blocks wget from accessing their document cache.
Seems to be a rather silly move ...
---
 dsv/dsv | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/dsv/dsv b/dsv/dsv
index d40ff66..89b77c4 100755
--- a/dsv/dsv
+++ b/dsv/dsv
@@ -2,8 +2,8 @@
 #
 # dsv - Improved data sheet viewer
 #
-# Written 2010-2012 by Werner Almesberger
-# Copyright 2010-2012 Werner Almesberger
+# Written 2010-2013 by Werner Almesberger
+# Copyright 2010-2013 Werner Almesberger
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -41,6 +41,12 @@ usage()
 }
 
 
+do_wget()
+{
+	wget -nv -U "dsv/1.0" "$@"
+}
+
+
 up()
 {
     old=`pwd`
@@ -64,13 +70,13 @@ flush()
     if [ ! -r "$DSV_DIR/$ds" ]; then
 	inside=${url#*.[Zz][Ii][Pp] }
 	if [ "$inside" = "$url" ]; then
-		wget -nv -O "$DSV_DIR/$ds" "$url"
+		do_wget -O "$DSV_DIR/$ds" "$url"
 		# @@@ should handle error
 	else
 		url=${url%`echo x"$inside" | sed 's/./?/g'`}
 		zip=$nm-`basename "$url"`
 		if [ ! -r "$DSV_DIR/$zip" ]; then
-			wget -nv -O "$DSV_DIR/$zip" "$url"
+			do_wget -O "$DSV_DIR/$zip" "$url"
 			# @@@ should handle error
 		fi
 		unzip -p "$DSV_DIR/$zip" "$inside" >"$DSV_DIR/$ds" ||