... | ... | @@ -44,8 +44,17 @@ The user configuration file is queried first and can be used to overwrite the de |
|
|
|
|
|
----
|
|
|
---
|
|
|
overlayname:
|
|
|
name_of_overlay1:
|
|
|
root_dir: <DIR>
|
|
|
modulefiles_root_dir: <DIR>
|
|
|
type: normal|hidding|replacing
|
|
|
---- |
|
|
\ No newline at end of file |
|
|
name_of_overlay2:
|
|
|
...
|
|
|
----
|
|
|
|
|
|
`root_dir`::
|
|
|
The specification of `root_dir` is mandatory.
|
|
|
|
|
|
If `modulefiles_root_dir` is not specified, `root_dir` is used.
|
|
|
|
|
|
If `type |
|
|
\ No newline at end of file |