[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB
From: |
Stefan Monnier |
Subject: |
bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB |
Date: |
Wed, 15 Oct 2014 13:59:04 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
> This isn't really the forum for discussing the naming of a GNU license
> file. dired-omit-mode deals sub-optimally with this particular name, and
> even if the standard name were changed tomorrow, it would continue to occur
> in the wild for years; so the real issue is: does it matter enough to fix
> Emacs's treatment of it?
I think the problem is in the naming of the file, rather than in Emacs's
treatment of files that end in ".LIB".
We could add a special ad-hoc rule for files called COPYING.LIB, but I'd
rather we fix the original problem instead.
"For years" is actually not that long ;-)
Stefan
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/14
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/14
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/14
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Andreas Schwab, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB,
Stefan Monnier <=
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Reuben Thomas, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Andreas Schwab, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Andreas Schwab, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Glenn Morris, 2014/10/15
- bug#18716: 24.3; dired-omit-extensions's default value omits COPYING.LIB, Stefan Monnier, 2014/10/15