commit 715abc7a3fff052755c7bee22be1effb7cb7d45f parent a95ed82f60ffe61063ba6aef13b43a9da7e17403 Author: PiƱa Colada <engineerarun@gmail.com> Date: Sun, 16 May 2021 16:47:40 +0530 Merge pull request #1015 from luukvbaal/preview-tui Fix preview-tui zombie pager Diffstat:
| M | plugins/preview-tui | | | 2 | +- |
| M | plugins/preview-tui-ext | | | 2 | +- |
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/plugins/preview-tui b/plugins/preview-tui @@ -305,8 +305,8 @@ if [ "$PREVIEW_MODE" ]; then preview_file "$PWD/$1" preview_fifo & wait "$!" - rm "$PAGERPID" "$IMGPID" "$CURSEL" "$FIFO_UEBERZUG" "$FIFOPID" 2>/dev/null pkill -P "$$" + rm "$PAGERPID" "$IMGPID" "$CURSEL" "$FIFO_UEBERZUG" "$FIFOPID" 2>/dev/null else if [ ! -r "$NNN_FIFO" ]; then clear diff --git a/plugins/preview-tui-ext b/plugins/preview-tui-ext @@ -404,8 +404,8 @@ if [ "$PREVIEW_MODE" ]; then preview_file "$PWD/$1" preview_fifo & wait "$!" - rm "$PAGERPID" "$IMGPID" "$CURSEL" "$FIFO_UEBERZUG" "$FIFOPID" 2>/dev/null pkill -P "$$" + rm "$PAGERPID" "$IMGPID" "$CURSEL" "$FIFO_UEBERZUG" "$FIFOPID" 2>/dev/null else if [ ! -r "$NNN_FIFO" ]; then clear