[debbugs-tracker] bug#14539: closed ([PATCH] dircolors: add pnm image)

[GNU bug Tracking System]

Your message dated Mon, 03 Jun 2013 00:52:36 +0100
with message-id <address@hidden>
and subject line Re: bug#14539: [PATCH] dircolors: add pnm image
has caused the debbugs.gnu.org bug report #14539,
regarding [PATCH] dircolors: add pnm image
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
14539: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14539
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] dircolors: add pnm image
>
>
>
>
> Date: 
>
> Sun, 2 Jun 2013 17:09:13 -0500
>
>
>
>
> User-agent: 
>
> Mutt/1.5.21 (2010-09-15)
>
>
>
>
> Hi,
>
> Attached patch adds colorizing for *.pnm images. Pnm images are amongst others
> generated by Xsane scans. Although they're basically text files, they are
> considered as images (a file command returns "Netpbm PPM "rawbits" image data"
> so their color code should probably be 01;35.
>
> This issue was first noted by ultrapeer AT lavabit.com and forwarded to Ubuntu
>
> ======================================================================
>
> diff --git a/src/dircolors.hin b/src/dircolors.hin
> index 18e1552..3a0c03f 100644
> --- a/src/dircolors.hin
> +++ b/src/dircolors.hin
> @@ -165,6 +165,7 @@ EXEC 01;32
>  .tif 01;35
>  .tiff 01;35
>  .png 01;35
> +.pnm 01;35
>  .svg 01;35
>  .svgz 01;35
>  .mng 01;35
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#14539: [PATCH] dircolors: add pnm image
>
>
>
>
> Date: 
>
> Mon, 03 Jun 2013 00:52:36 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64;	rv:17.0) Gecko/20130110 Thunderbird/17.0.2
>
>
>
>
> On 06/02/2013 11:09 PM, Javier Lopez wrote:
> > Hi,
> > 
> > Attached patch adds colorizing for *.pnm images. Pnm images are amongst others
> > generated by Xsane scans. Although they're basically text files, they are
> > considered as images (a file command returns "Netpbm PPM "rawbits" image data"
> > so their color code should probably be 01;35.
> > 
> > This issue was first noted by ultrapeer AT lavabit.com and forwarded to Ubuntu
> > 
> > ======================================================================
> > 
> > diff --git a/src/dircolors.hin b/src/dircolors.hin
> > index 18e1552..3a0c03f 100644
> > --- a/src/dircolors.hin
> > +++ b/src/dircolors.hin
> > @@ -165,6 +165,7 @@ EXEC 01;32
> >  .tif 01;35
> >  .tiff 01;35
> >  .png 01;35
> > +.pnm 01;35
> >  .svg 01;35
> >  .svgz 01;35
> >  .mng 01;35
>
> `man pnm` suggests that pnm isn't a format in its own right,
> but "just an abstraction of the PBM, PGM, and PPM formats".
>
> Therefore I'm inclined not to include this.
>
> thanks,
> Pádraig.
>
>
> --- End Message ---