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)