file

Attribute set of files to create into the project root.

type

attribute set of (submodule)

default

{
  file = { };
}

file.<name>.executable

Set the execute bit. If null, defaults to the mode of the source file or to false for files created through the text option.

type

null or boolean

default

{
  file.<name>.executable = null;
}

file.<name>.git-add

To add this file to git repository after creation

type

null or boolean

default

{
  file.<name>.git-add = null;
}

file.<name>.interpolate

Substitute $VAR with environment var before create file

type

boolean

default

{
  file.<name>.interpolate = false;
}

file.<name>.on-enter

This file will be created on enter in development shell

type

null or boolean

default

{
  file.<name>.on-enter = true;
}

file.<name>.source

Path of the source file or directory. If

devshell.file.<name?>.text is non-null then this option will automatically point to a file containing that text.

type

path

file.<name>.target

Path to target file relative to PRJ_ROOT.

type

string

default

{
  file.<name>.target = <name>;
}

file.<name>.text

Text of the file. If this option is null then

devshel.file.<name?>.source must be set.

type

null or strings concatenated with "\n"

default

{
  file.<name>.text = null;
}