From 43cce08cf13573930315ae09683b846b8212e5f0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:17:31 +0100 Subject: M save.pl M save.pl~ --- save.pl | 3 ++- save.pl~ | 5 ++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/save.pl b/save.pl index 5303d3a..bb3d7af 100644 --- a/save.pl +++ b/save.pl @@ -83,6 +83,7 @@ chain_atom_x(C, A0, A) :- commit(Msg) :- setup_call_cleanup( - process_create(path(git), ['commit', '-m', Msg], []), + process_create(path(git), ['commit', '-m', Msg], + [detached(true)]), true, true). diff --git a/save.pl~ b/save.pl~ index 1b50fff..801b1c9 100644 --- a/save.pl~ +++ b/save.pl~ @@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :- commit(Msg) :- setup_call_cleanup( - process_create(path(git), ['commit', '-m', Msg], []), + process_create(path(git), ['commit', '-m', Msg], [detached(true)]), true, - true - ). + true). -- cgit v1.2.3