[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bug#300258: --ignore-file-name-case doesn't work (fwd)
From: |
Santiago Vila |
Subject: |
Bug#300258: --ignore-file-name-case doesn't work (fwd) |
Date: |
Fri, 18 Mar 2005 18:48:01 +0100 (CET) |
Hello.
Received this from the Debian bug system:
---------- Forwarded message ----------
From: LaMont Jones <address@hidden>
To: address@hidden
Date: Thu, 17 Mar 2005 17:06:59 -0700
Subject: Bug#300258: --ignore-file-name-case doesn't work
Package: diff
Version: 2.8.1-7
Severity: normal
As described in https://bugzilla.ubuntu.com/show_bug.cgi?id=7291
diff --ignore-file-name-case does not appear to work. To reproduce:
% mkdir a b
% touch a/foo b/FOO
% diff --ignore-file-name-case a b
Only in a: foo
Only in b: FOO
lamont
-- System Information:
Debian Release: 3.1
Architecture: i386 (i686)
Kernel: Linux 2.6.10-4-686
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
-- no debconf information
- Bug#300258: --ignore-file-name-case doesn't work (fwd),
Santiago Vila <=