Bug#656657: manpages: environ(7): Please clarify the usage of $PAGER and $EDITOR with regards to whitespace

2022-01-28 Thread Florian Ernst
On Wed, Jan 20, 2021 at 10:16:03AM +0100, Michael Kerrisk (man-pages) wrote: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866060 > seems to be related, and maybe the changes in the patch for that bug > are sufficient to address the concerns in this bug? (That patch as > just been taken

Bug#656657: manpages: environ(7): Please clarify the usage of $PAGER and $EDITOR with regards to whitespace

2021-01-20 Thread Axel Beckert
Hi Michael, Michael Kerrisk (man-pages) wrote: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866060 > seems to be related, and maybe the changes in the patch for that bug > are sufficient to address the concerns in this bug? (That patch as > just been taken upstream.) Indeed it is, thanks,

Bug#656657: manpages: environ(7): Please clarify the usage of $PAGER and $EDITOR with regards to whitespace

2021-01-20 Thread Michael Kerrisk (man-pages)
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866060 seems to be related, and maybe the changes in the patch for that bug are sufficient to address the concerns in this bug? (That patch as just been taken upstream.) Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer;

Bug#656657: manpages: environ(7): Please clarify the usage of $PAGER and $EDITOR with regards to whitespace

2012-01-20 Thread Axel Beckert
Package: manpages Version: 3.35-0.1 Severity: wishlist Hi, In several other bug reports[1][2] (I ran into [1]) there are uncertainties about the handling of whitespace (and other shell special characters) in the values of the $PAGER and $EDITOR environment variables. [1]