diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-11 23:00:55 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-11 23:00:55 +0100 |
| commit | e2da64f014942a73996286c4abe3c3b1f8bd220c (patch) | |
| tree | 05a5f7ce662385ac6665ce98310927cef74c4163 | |
| parent | 56c9ecaf528712f5d8ebfa5e8d48bb9eb8827a64 (diff) | |
Kill processes on exit without asking.
| -rw-r--r-- | guile-studio-configure.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guile-studio-configure.scm b/guile-studio-configure.scm index 08293d3..df3ba2b 100644 --- a/guile-studio-configure.scm +++ b/guile-studio-configure.scm @@ -33,6 +33,7 @@ (setq geiser-default-implementation 'guile initial-major-mode 'scheme-mode inhibit-splash-screen t + confirm-kill-processes nil ; kill Geiser on exit x-select-enable-clipboard t x-select-enable-primary t save-interprogram-paste-before-kill t |