From b612d003a57e5f4de312872fcabfd50f4d732a5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:19:46 +0100 Subject: M save.pl M save.pl~ --- save.pl | 1 + 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. -- cgit v1.2.3