aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ports/unix/main.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c
index e12915454..deda8eb70 100644
--- a/ports/unix/main.c
+++ b/ports/unix/main.c
@@ -647,6 +647,10 @@ MP_NOINLINE int main_(int argc, char **argv) {
}
}
+ const char *inspect_env = getenv("MICROPYINSPECT");
+ if (inspect_env && inspect_env[0] != '\0') {
+ inspect = true;
+ }
if (ret == NOTHING_EXECUTED || inspect) {
if (isatty(0)) {
prompt_read_history();