get_remote_file¶
- sage.misc.remote_file.get_remote_file(filename, verbose=True)[source]¶
- 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: - This creates a file in the temp directory and returns the absolute path to that file as a - Pathobject.- 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) - >>> from sage.all import * >>> url = 'https://www.sagemath.org/files/loadtest.py' >>> g = get_remote_file(url, verbose=False) # optional - internet >>> with open(g) as f: print(f.read()) # optional - internet print("hi from the net") <BLANKLINE> print(2 + 3)