title: wget download and rename files that originally have no file extension
body: <p>Have a wget download I'm trying to perform.</p>
  
  <p>It downloads several thousand files, unless I start to restrict the file type (junk files etc).  In theory restricting the file type is fine.</p>
  
  <p>However there are lots of files that wget downloads without a file extension, that when manually opened with Adobe for example, are actually PDF's.  These are actually the files I want.</p>
  
  <p>Restricting the wget to filetype PDF does not download these files.</p>
  
  <p>So far my syntax is <strong>wget -r --no-parent A.pdf www.websitehere.com</strong></p>
  
  <p>Using <strong>wget -r --no-parent www.websitehere.com</strong> brings me every file type, so in theory I have everything.  But this means I have 1000's of junk files to remove, and then several hundred of the useful files of unknown file type to rename.</p>
  
  <p>Any ideas on how to wget and save the files with the appropriate file extension?</p>
  
  <p>Alternatively, a way restrict the wget to only files <em>without</em> a file extension, and then a separate batch method to determine the file type and rename appropriately?</p>
  
  <p>Manually testing every file to determine the appropriate application will take a lot of time.</p>
  
  <p>Appreciate any help!</p>