GNU bug report logs - #15624
[PATCH] dircolors: add putty-256color terminal type

Previous Next

Package: coreutils;

Reported by: Mike Frysinger <vapier <at> gentoo.org>

Date: Tue, 15 Oct 2013 20:05:02 UTC

Severity: normal

Tags: patch

Done: Pádraig Brady <P <at> draigBrady.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: 15624 <at> debbugs.gnu.org, P <at> draigBrady.com, vapier <at> gentoo.org
Subject: bug#15624: [PATCH] dircolors: add putty-256color terminal type
Date: Wed, 16 Oct 2013 08:03:15 +0200

On 10/16/2013 01:06 AM, Pádraig Brady wrote:
> On 10/15/2013 09:04 PM, Mike Frysinger wrote:
>> * src/dircolors.hin: Add putty-256color
>> Reported-by: Thomas D. <whissi <at> whissi.de>, via
>> http://bugs.gnu.org/486786

> Pushed.

Thanks for pushing ... and also for fixing the bug URL
to http://bugs.gentoo.org/486786 (which is hereby also
in the bug-coreutils mailing list archive).

Have a nice day,
Berny
This bug report was last modified 11 years and 225 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.