diff options
| author | William Johansson <radar@radhuset.org> | 2017-06-30 18:42:15 +0200 |
|---|---|---|
| committer | William Pitcock <nenolod@dereferenced.org> | 2017-06-30 21:39:03 +0000 |
| commit | bcd5c26f74d34fa70d0c069be434a465efa7ab53 (patch) | |
| tree | 7d36ce6577abb9daa7be89ae38d931602ee6ae91 /community/ocaml | |
| parent | 0d28ed6e83fc49f4ffb9fd812c4033137763f2bc (diff) | |
main/xen: fix tmux option
Tmux has renamed the set-remain-on-exit option to simply remain-on-exit
since tmux 2.4. The functionality is needed to make sure console logs
are kept if a domain dies.
Diffstat (limited to 'community/ocaml')
0 files changed, 0 insertions, 0 deletions