Skip to content

[herd] Add special clause include $dirname... in configuration file - #1961

Draft
maranget wants to merge 1 commit into
masterfrom
dollar-dirname
Draft

maranget wants to merge 1 commit into
masterfrom
dollar-dirname

Conversation

@maranget

@maranget maranget commented Aug 11, 2026

Copy link
Copy Markdown
Member

If the argument to the include directive starts with the string $dirname, then $dirname is replaced with the directory of the configuration file. The resulting string is added to herd7 search path.

This feature has been extracted from the initial version of PR #1942 and made into a PR for discussion and reference.

If the argument to the include directive starts
with the string $dirname, then the effect is replacing
`$dirname` with the the directory of the configuration file
and adding the resulting string to **herd7** search path.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant