Re: Remove redundant tags of headlines

[Sebastien Vauban <sva-news-D0wtAvR13HarG/iDocfnWg@public.gmane.org>]

Hi Bastien,

Bastien wrote:
> Sebastien Vauban writes:
>
>>   #(":org:FLAGGED:" 1 4 (inherited t))
>>
>> IOW, "FLAGGED" is not shown as inherited!
>
> Because it is not inherited, it is present in the headline.
>
> Am I missing something?

From my point of view and the point of that function (IIUC), yes.

Look again:

--8<---------------cut here---------------start------------->8---
#+FILETAGS: :org:

* List of projects
** TODO Project A                                       :FLAGGED:
*** TODO Task 1                                         :FLAGGED:
--8<---------------cut here---------------end--------------->8---

Of course, "FLAGGED" is present in the headline but, at the same time,
it is inherited.

IIUC, the goal of the function written by David was to remove redundant
tags. In the above case, "FLAGGED" should be removed from "Task 1"
because it is superfluous (redundant with its parent entry).

>> Hence, all the mechanics which follows never removes it!
>
> You mean the mechanics of the function on Worg?

Yes, as explicited above.

> Or is there any real Org bug hidden somewhere here?

I'd think that asking for all tags of "Task 1" should output both
a local "FLAGGED" tag and an inherited "FLAGGED" one.

Am I wrong?

Best regards,
  Seb

-- 
Sebastien Vauban