diff options
-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. |