Skip to content

Instantly share code, notes, and snippets.

@vedantroy
Created January 26, 2022 19:38
Show Gist options
  • Save vedantroy/cc70cfd795df59be213a58d3ea03d71d to your computer and use it in GitHub Desktop.
Save vedantroy/cc70cfd795df59be213a58d3ea03d71d to your computer and use it in GitHub Desktop.
Run a Python file in Sage using Docker
#! /usr/bin/python3
import sys
import os.path
fpath = sys.argv[1]
assert os.path.isfile(fpath)
abs_path = os.path.abspath(fpath)
dirname = os.path.dirname(abs_path)
fname = os.path.basename(abs_path)
cmd = f"docker run -it --mount type=bind,src={dirname},dst=/tmp sagemath/sagemath:latest 'sage /tmp/{fname}'"
print(f"Running: \"{cmd}\"")
os.system(cmd)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment