From 0c33fb0d784d9c1cce0b9de9b4e79429bfafe5c8 Mon Sep 17 00:00:00 2001 From: Darko Date: Fri, 10 Jul 2015 11:50:27 +0200 Subject: [PATCH] Possible fix for undefined index options in tmux-ui. --- misc/update_scripts/nix_scripts/tmux/tmux-ui.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/update_scripts/nix_scripts/tmux/tmux-ui.php b/misc/update_scripts/nix_scripts/tmux/tmux-ui.php index 1ba67642f..02ef4cedd 100644 --- a/misc/update_scripts/nix_scripts/tmux/tmux-ui.php +++ b/misc/update_scripts/nix_scripts/tmux/tmux-ui.php @@ -22,6 +22,7 @@ $start = ['start', 'run', 'resume', 'continue']; $stop = ['stop', 'end', 'finish', 'halt']; +$options = implode(' | ', $start) . ' | ' . implode(' | ', $stop); $message = <<