search

ArneBachmann / tagsplorer

A quick and resource-efficient OS-independent tagging filetree extension tool and library
Mozilla Public License 2.0
3 stars 1 forks source link

manually modifying .tagsplorer.cfg doesn't update index #68

Closed ArneBachmann closed 3 years ago

ArneBachmann commented 7 years ago

As it was never planned for users to manually update the config, this is as expected. However sometimes it would help and prevent errors when this change would be detected. This would require to query the actual file modification timestamp, which is error-prone as we cannot guarantee any close equality with the interned timestamp due to OS differences.

Workaround is currently increasing the timestamp contained in the file by hand.

ArneBachmann commented 7 years ago

We could, however, issues a warning in case of mtime differing.

ArneBachmann commented 3 years ago

This would also be resolved by implementing #31, so one more reason to do it.

ArneBachmann commented 3 years ago

Note: Even the readme tells the user to manually edit the config file, since no API has been implemented to define local or global ignored/skipd yet.