get_remote_file

sage.misc.remote_file.get_remote_file(filename, verbose=True)

INPUT:

  • filename – the URL of a file on the web, e.g., "http://modular.math.washington.edu/myfile.txt"
  • verbose – whether to display download status

OUTPUT:

creates a file in the temp directory and returns the absolute path to that file.

EXAMPLES:

sage: url = 'http://www.sagemath.org/files/loadtest.py'
sage: g = get_remote_file(url, verbose=False)      # optional - internet
sage: with open(g) as f: print(f.read())           # optional - internet
print("hi from the net")

print(2+3)