[debbugs-tracker] bug#13703: closed ([PATCH] dircolors: add arc archive)

[GNU bug Tracking System]

Your message dated Thu, 28 Feb 2013 03:34:29 +0000
with message-id <address@hidden>
and subject line Re: bug#13703: [PATCH] dircolors: add arc archive
has caused the debbugs.gnu.org bug report #13703,
regarding [PATCH] dircolors: add arc archive
to be marked as done.

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


-- 
13703: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13703
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] dircolors: add arc archive
>
>
>
>
> Date: 
>
> Tue, 12 Feb 2013 16:45:50 -0600
>
>
>
>
> User-agent: 
>
> Mutt/1.5.21 (2010-09-15)
>
>
>
>
> Hi,
>
> Attached patch adds colorizing for *.arc archives. This was suggested /
> requested by zapman in lp #1088131:
>
>     https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1088131
>
> Greetings,
>          Javier López
>
> ======================================================================
>
> diff --git a/src/dircolors.hin b/src/dircolors.hin
> index 6dfd113..e56c3c3 100644
> --- a/src/dircolors.hin
> +++ b/src/dircolors.hin
> @@ -110,6 +110,7 @@ EXEC 01;32
>  #.csh 01;32
>  
>   # archives or compressed (bright red)
> +.arc 01;31
>  .tar 01;31
>  .tgz 01;31
>  .arj 01;31
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#13703: [PATCH] dircolors: add arc archive
>
>
>
>
> Date: 
>
> Thu, 28 Feb 2013 03:34:29 +0000
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64;	rv:17.0) Gecko/20130110 Thunderbird/17.0.2
>
>
>
>
> On 02/12/2013 10:45 PM, Javier Lopez wrote:
> > Hi,
> > 
> > Attached patch adds colorizing for *.arc archives. This was suggested /
> > requested by zapman in lp #1088131:
> > 
> >     https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1088131
> > 
> > Greetings,
> >          Javier López
> > 
> > ======================================================================
> > 
> > diff --git a/src/dircolors.hin b/src/dircolors.hin
> > index 6dfd113..e56c3c3 100644
> > --- a/src/dircolors.hin
> > +++ b/src/dircolors.hin
> > @@ -110,6 +110,7 @@ EXEC 01;32
> >  #.csh 01;32
> >  
> >   # archives or compressed (bright red)
> > +.arc 01;31
> >  .tar 01;31
> >  .tgz 01;31
> >  .arj 01;31
>
> pushed.
>
> thanks,
> Pádraig.
>
>
>
> --- End Message ---