From 673bbf42e80dd0a52f4d5a2678c4389f841d8bc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz>
Date: Tue, 1 Feb 2022 18:07:10 +0100
Subject: [PATCH] add experiments/{README.md,_experiment.py}

---
 experiments/README.md      | 5 +++++
 experiments/_experiment.py | 8 ++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 experiments/README.md
 create mode 100644 experiments/_experiment.py

diff --git a/experiments/README.md b/experiments/README.md
new file mode 100644
index 0000000..3271d44
--- /dev/null
+++ b/experiments/README.md
@@ -0,0 +1,5 @@
+## How to use
+
+If `from sage.all import *` fails try running
+the python script as `sage -python ./script.py`.
+In the case of bash script use `PYTHON="sage -python" ./script.sh`.
diff --git a/experiments/_experiment.py b/experiments/_experiment.py
new file mode 100644
index 0000000..9318ab8
--- /dev/null
+++ b/experiments/_experiment.py
@@ -0,0 +1,8 @@
+import sys, os, re
+sys.path.append((os.path.dirname(__file__) or ".") + "/..")
+
+import __main__
+_name = re.sub(r".*/", "", __main__.__file__)
+
+print("\n  %s:\n  %s=\n%s" % (_name, "="*len(_name), __main__.__doc__))
+
-- 
GitLab