summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--save.pl3
-rw-r--r--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).