From 7573c64087a1ca1b54138fcff388326a606bc707 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 2 Feb 2024 10:54:28 -0700 Subject: [PATCH] load .scryerrc before files and goals (#1775, #2313) --- src/toplevel.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 820d91d0..a3cee9a0 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -28,6 +28,7 @@ load_scryerrc :- '$repl' :- asserta('$toplevel':started), + (\+ disabled_init_file -> load_scryerrc ; true), raw_argv(Args0), ( append(Args1, ["--"|_], Args0) -> Args = Args1 @@ -37,7 +38,6 @@ load_scryerrc :- delegate_task(TaskArgs, []) ; true ), - (\+ disabled_init_file -> load_scryerrc ; true), repl. delegate_task([], []). -- 2.54.0