rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename to disable_init_file and change description

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2021-08-22 11:36:27 +02:00
parent 3cd112b60f
commit 9391dd9d51
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/toplevel.pl
View File

@@ -10,7 +10,7 @@
:- use_module(library('$project_atts')). :- use_module(library('$project_atts')).
:- use_module(library('$atts')). :- use_module(library('$atts')).
:- dynamic(disabled_init_file/0). :- dynamic(disable_init_file/0).
load_scryerrc :- load_scryerrc :-
( '$home_directory'(HomeDir) -> ( '$home_directory'(HomeDir) ->
@@ -34,7 +34,7 @@ load_scryerrc :-
Args = Args0 Args = Args0
), ),
delegate_task(Args, []), delegate_task(Args, []),
(\+ disabled_init_file -> load_scryerrc ; true), (\+ disable_init_file -> load_scryerrc ; true),
repl. repl.
'$repl'(_) :- '$repl'(_) :-
( \+ argv(_) -> asserta('$toplevel':argv([])) ( \+ argv(_) -> asserta('$toplevel':argv([]))
@@ -46,7 +46,7 @@ load_scryerrc :-
delegate_task([], []). delegate_task([], []).
delegate_task([], Goals0) :- delegate_task([], Goals0) :-
reverse(Goals0, Goals), reverse(Goals0, Goals),
(\+ disabled_init_file -> load_scryerrc ; true), (\+ disable_init_file -> load_scryerrc ; true),
run_goals(Goals), run_goals(Goals),
repl. repl.
@@ -71,7 +71,7 @@ print_help :-
write(' -g, --goal GOAL '), write(' -g, --goal GOAL '),
write('Run the query GOAL'), nl, write('Run the query GOAL'), nl,
write(' -f '), write(' -f '),
write('Do not load initialization file (~/.scryerrc)'),nl, write('Fast startup. Do not load initialization file (~/.scryerrc)'),nl,
% write(' '), % write(' '),
halt. halt.
@@ -90,7 +90,7 @@ gather_goal(Type, Args0, Goals) :-
delegate_task(Args, [Gs|Goals]). delegate_task(Args, [Gs|Goals]).
init_file :- init_file :-
asserta('disabled_init_file'). asserta('disable_init_file').
arg_type(g). arg_type(g).
arg_type(t). arg_type(t).