added version number

etherdump/commands/common.py

@@ -6,6 +6,8 @@ from urllib.parse import urlparse, urlunparse, urlencode, quote_plus, unquote_pl
 from urllib.request import urlopen, URLError, HTTPError
 from html.entities import name2codepoint
 
+VERSION = "0.9"
+
 groupnamepat = re.compile(r"^g\.(\w+)\$")
 def splitpadname (padid):
     m = groupnamepat.match(padid)

etherdump/commands/pull.py

@@ -65,6 +65,8 @@ def main (args):
 
     args = p.parse_args(args)
 
+    print ("etherdump version {}".format(VERSION), file=sys.stderr)
+
     raw_ext = ".raw.txt"
     if args.no_raw_ext:
         raw_ext = ""