original_docstring:  fetch a gz file, unpack it,  re-encode to disk
docstring: fetch a gz file, unpack it,  re-encode to disk
docstring_tokens: fetch a gz file unpack it re - encode to disk
code: def wget(url, enc_in, path_out, enc_out):
      """ fetch a gz file, unpack it,  re-encode to disk"""
      filename, headers = urllib.urlretrieve(url)
      with gzip.open(filename) as fp_in, codecs.open(path_out,'w',enc_out) as fp_out:
          line = fp_in.readline()
          while line:
              fp_out.write(line.decode(enc_in))	
              line = fp_in.readline()
code_tokens: def wget ( url , enc_in , path_out , enc_out ) : filename , headers = urllib . urlretrieve ( url ) with gzip . open ( filename ) as fp_in , codecs . open ( path_out , 'w' , enc_out ) as fp_out : line = fp_in . readline ( ) while line : fp_out . write ( line . decode ( enc_in ) ) line = fp_in . readline ( )
short_docstring: fetch a gz file, unpack it,  re-encode to disk
short_docstring_tokens: fetch a gz file unpack it re - encode to disk
comment: """ fetch a gz file, unpack it,  re-encode to disk"""