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 /save.pl~ | |
parent | d258adb0a5b6d3a7f44d6d1f7b1c40d503e74543 (diff) | |
download | save-b612d003a57e5f4de312872fcabfd50f4d732a5e.tar.gz |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
-rw-r--r-- | save.pl~ | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -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. |