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 = 'https://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)