Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@tarleb
Copy link
Collaborator

@tarleb tarleb commented Jun 6, 2022

No description provided.

@tarleb tarleb force-pushed the reader-writer-datadir branch from 6bc7791 to 25b66e6 Compare June 7, 2022 20:46
@tarleb tarleb marked this pull request as ready for review June 7, 2022 20:46
@tarleb tarleb force-pushed the reader-writer-datadir branch from 25b66e6 to e47e3c6 Compare June 8, 2022 06:12

-- | If @fp@ doesn't exist, but the data file relative to @/subdir/@
-- does, then return that; otherwise return @fp@.
findFile :: PandocMonad m
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry to revise my original suggestion, but what about findFileWithDataFallback?
findFile should be reserved for something less special-purpose.

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also, could we use this function to simplify readMetadataFile?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Both done

@tarleb tarleb force-pushed the reader-writer-datadir branch from e47e3c6 to 2f87d25 Compare June 9, 2022 19:10
@tarleb tarleb force-pushed the reader-writer-datadir branch from 2f87d25 to 128b95d Compare June 9, 2022 19:14
@tarleb tarleb force-pushed the reader-writer-datadir branch from 128b95d to 55ae676 Compare June 10, 2022 09:11
@jgm
Copy link
Owner

jgm commented Jun 10, 2022

This looks good to go.

@jgm jgm merged commit 42cbc71 into jgm:master Jun 10, 2022
jgm added a commit that referenced this pull request Jun 10, 2022
be sought in the readers/writers subdirectory of
the user data directory if not found relative to
the working directory.

Documents #8112.
@tarleb tarleb deleted the reader-writer-datadir branch June 10, 2022 16:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants