From 0f4126c11519aa42c7ffdd0700365bb00879d726 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Tue, 29 May 2018 18:32:54 +0200 Subject: [PATCH] Silence winch handler Fixes #4876. --- share/functions/__fish_config_interactive.fish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/functions/__fish_config_interactive.fish b/share/functions/__fish_config_interactive.fish index f57314543..13b22aa13 100644 --- a/share/functions/__fish_config_interactive.fish +++ b/share/functions/__fish_config_interactive.fish @@ -263,7 +263,7 @@ function __fish_config_interactive -d "Initializations that should be performed end function __fish_winch_handler --on-signal WINCH -d "Repaint screen when window changes size" - commandline -f repaint + commandline -f repaint >/dev/null 2>/dev/null end # Notify terminals when $PWD changes (issue #906).