diff options
| author | Ahmed Wael <73046395+ahmedwael216@users.noreply.github.com> | 2023-08-21 19:07:28 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-21 18:07:28 +0200 |
| commit | 6bc4c80c7db072a0d2d265eb3589bbe52e0d2737 (patch) | |
| tree | 4ab43a82869cf45326431ab9a755e4b569bbdbfe | |
| parent | b81915d3293cc4657cec64202b9fd991b96b4ba2 (diff) | |
| download | zsh-6bc4c80c7db072a0d2d265eb3589bbe52e0d2737.tar.gz zsh-6bc4c80c7db072a0d2d265eb3589bbe52e0d2737.tar.bz2 zsh-6bc4c80c7db072a0d2d265eb3589bbe52e0d2737.zip | |
fix(colored-man-pages): add env GROFF_NO_SGR=1 (#11831)
| -rw-r--r-- | plugins/colored-man-pages/colored-man-pages.plugin.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/colored-man-pages/colored-man-pages.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh index 981992d88..57facbb5c 100644 --- a/plugins/colored-man-pages/colored-man-pages.plugin.zsh +++ b/plugins/colored-man-pages/colored-man-pages.plugin.zsh @@ -36,6 +36,7 @@ function colored() { # Prefer `less` whenever available, since we specifically configured # environment for it. environment+=( PAGER="${commands[less]:-$PAGER}" ) + environment+=( GROFF_NO_SGR=1 ) # See ./nroff script. if [[ "$OSTYPE" = solaris* ]]; then |