[texhax] problem with a defined command

[Thomas Schneider]

Philip:

> 	http://arxiv.org/e-print/0806.3141v2
> 
> which my system does not recognise as being a gzipped tar (.tar.gz)
> file, amd since Arxiv will also not allow me to Wget it, I cannot
> check what MIME type it has ...

wget has the --user-agent=agent-string (or -U for short) flag that
lets you pretend to be a browser.  The program file tells the type.

% wget -U mozilla http://arxiv.org/e-print/0806.3141v2
--2014-01-17 14:21:06--  http://arxiv.org/e-print/0806.3141v2
Resolving arxiv.org... 128.84.21.199
Connecting to arxiv.org|128.84.21.199|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 133039 (130K) [application/x-eprint-tar]
Saving to: ‘0806.3141v2’

100%[======================================>] 133,039     --.-K/s   in 0.1s    

2014-01-17 14:21:06 (1.09 MB/s) - ‘0806.3141v2’ saved [133039/133039]

% file 0806.3141v2 
0806.3141v2: gzip compressed data, was "0806.3141.tar", from Unix, last modified: Thu Mar 26 22:29:50 2009, max compression

Also, curl - similar to wget but part of OS X - works directly.

Note:  arxiv has this tendency to provide files without the type.  I
suggested to them that the PDFs they download ought to have '.pdf' on
them and eventually they switched (no acknowledgment to me though). 
This looks like the same thing - we all should "independently"
complain about it ...

Tom

  Thomas D. Schneider, Ph.D.
  Senior Investigator
  National Institutes of Health
  National Cancer Institute
  Center for Cancer Research
  Gene Regulation and Chromosome Biology Laboratory
  Molecular Information Theory Group
  Frederick, Maryland  21702-1201
  schneidt at mail.nih.gov
  http://schneider.ncifcrf.gov/ (current link)
  http://alum.mit.edu/www/toms  (permanent link)