summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:19:46 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:19:46 +0100
commitb612d003a57e5f4de312872fcabfd50f4d732a5e (patch)
treed9bfe8e311564aba0a6f745c52a322fd3fc0e970
parentd258adb0a5b6d3a7f44d6d1f7b1c40d503e74543 (diff)
downloadsave-b612d003a57e5f4de312872fcabfd50f4d732a5e.tar.gz
M save.pl
M save.pl~
-rw-r--r--save.pl1
-rw-r--r--save.pl~11
2 files changed, 8 insertions, 4 deletions
diff --git a/save.pl b/save.pl
index 2c93580..fac8995 100644
--- a/save.pl
+++ b/save.pl
@@ -91,4 +91,5 @@ commited(1) :-
'Files could not be saved.').
commited(0) :-
+ write(success), nl,
halt.
diff --git a/save.pl~ b/save.pl~
index 8474511..2c93580 100644
--- a/save.pl~
+++ b/save.pl~
@@ -83,9 +83,12 @@ chain_atom_x(C, A0, A) :-
commit(Msg) :-
process_create(path(git), ['commit', '-m', Msg],
[process(PID)]),
- process_wait(PID, S).
+ process_wait(PID, S),
+ commited(S).
-added(1) :-
+commited(1) :-
send(@display, report, error,
- 'Files could not be added to index.
-Ensure Git is in PATH.').
+ 'Files could not be saved.').
+
+commited(0) :-
+ halt.