diff options
author | lassulus <git@lassul.us> | 2023-09-07 11:54:02 +0200 |
---|---|---|
committer | lassulus <git@lassul.us> | 2023-09-07 11:54:02 +0200 |
commit | a2f58988f5c35c5782dc75c2c6c8635cb82339a5 (patch) | |
tree | 5aadf82c2b786c85a62e91b5e0884cda670f0ce0 | |
parent | 5e215d87e53f97e73247c0d415a416cade9f9328 (diff) |
fzfmenu: handle dumb terminal as no terminal
-rw-r--r-- | krebs/5pkgs/simple/fzfmenu/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/5pkgs/simple/fzfmenu/default.nix b/krebs/5pkgs/simple/fzfmenu/default.nix index eb2441330..030c1b1b1 100644 --- a/krebs/5pkgs/simple/fzfmenu/default.nix +++ b/krebs/5pkgs/simple/fzfmenu/default.nix @@ -43,7 +43,7 @@ pkgs.writers.writeDashBin "fzfmenu" '' set -efu # Spawn terminal if called without one, like e.g. from a window manager. - if [ -z ''${TERM+x} ]; then + if [ -z ''${TERM+x} ] || [ $TERM = dumb ]; then exec 3<&0 exec 4>&1 export FZFMENU_INPUT_FD=3 |