diff options
| -rw-r--r-- | ChangeLog | 7 | ||||
| -rw-r--r-- | Completion/Base/Widget/_complete_tag | 5 |
2 files changed, 11 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 21eaa18b4..06751df8b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-03-14 Peter Stephenson <p.w.stephenson@ntlworld.com> + + * 31151: Pavol Juhas: complete (C etc) tags better + when file system is not case sensitive. + 2013-03-13 Mikael Magnusson <mikachu@gmail.com> * unposted: Doc/Zsh/contrib.yo: Also adjust a mention of psvar @@ -598,5 +603,5 @@ ***************************************************** * This is used by the shell to define $ZSH_PATCHLEVEL -* $Revision: 1.5820 $ +* $Revision: 1.5821 $ ***************************************************** diff --git a/Completion/Base/Widget/_complete_tag b/Completion/Base/Widget/_complete_tag index 5a26c3890..5b50f1d85 100644 --- a/Completion/Base/Widget/_complete_tag +++ b/Completion/Base/Widget/_complete_tag @@ -32,6 +32,11 @@ while [[ ! -f $c_path$c_Tagsfile && c_path=../$c_path done +if [[ -f $c_path$c_Tagsfile && $c_path$c_Tagsfile -ef $c_path$c_tagsfile && + "$(head -1 $c_path$c_tagsfile)" == '!_TAG_'* ]]; then + c_Tagsfile= +fi + if [[ -f $c_path$c_Tagsfile ]]; then # prefer the more comprehensive TAGS, which unfortunately is a # little harder to parse. |