From 9391dd9d51184752b707de8599ce8c036c9be0e6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Sun, 22 Aug 2021 11:36:27 +0200 Subject: [PATCH] Rename to disable_init_file and change description --- src/toplevel.pl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index f47d145a..aa763177 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -10,7 +10,7 @@ :- use_module(library('$project_atts')). :- use_module(library('$atts')). -:- dynamic(disabled_init_file/0). +:- dynamic(disable_init_file/0). load_scryerrc :- ( '$home_directory'(HomeDir) -> @@ -34,7 +34,7 @@ load_scryerrc :- Args = Args0 ), delegate_task(Args, []), - (\+ disabled_init_file -> load_scryerrc ; true), + (\+ disable_init_file -> load_scryerrc ; true), repl. '$repl'(_) :- ( \+ argv(_) -> asserta('$toplevel':argv([])) @@ -46,7 +46,7 @@ load_scryerrc :- delegate_task([], []). delegate_task([], Goals0) :- reverse(Goals0, Goals), - (\+ disabled_init_file -> load_scryerrc ; true), + (\+ disable_init_file -> load_scryerrc ; true), run_goals(Goals), repl. @@ -71,7 +71,7 @@ print_help :- write(' -g, --goal GOAL '), write('Run the query GOAL'), nl, write(' -f '), - write('Do not load initialization file (~/.scryerrc)'),nl, + write('Fast startup. Do not load initialization file (~/.scryerrc)'),nl, % write(' '), halt. @@ -90,7 +90,7 @@ gather_goal(Type, Args0, Goals) :- delegate_task(Args, [Gs|Goals]). init_file :- - asserta('disabled_init_file'). + asserta('disable_init_file'). arg_type(g). arg_type(t). -- 2.54.0