diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:19:46 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:19:46 +0100 |
commit | b612d003a57e5f4de312872fcabfd50f4d732a5e (patch) | |
tree | d9bfe8e311564aba0a6f745c52a322fd3fc0e970 | |
parent | d258adb0a5b6d3a7f44d6d1f7b1c40d503e74543 (diff) | |
download | save-b612d003a57e5f4de312872fcabfd50f4d732a5e.tar.gz |
M save.pl
M save.pl~
-rw-r--r-- | save.pl | 1 | ||||
-rw-r--r-- | save.pl~ | 11 |
2 files changed, 8 insertions, 4 deletions
@@ -91,4 +91,5 @@ commited(1) :- 'Files could not be saved.'). commited(0) :- + write(success), nl, halt. @@ -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. |