diff options
-rw-r--r-- | save.pl | 3 | ||||
-rw-r--r-- | save.pl~ | 5 |
2 files changed, 4 insertions, 4 deletions
@@ -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). @@ -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). |