tools

External tools settings.

Type: attribute set of (submodule)

Default: { }

tools.diff

Preferred diff tool.

Scope: Profile

Type: constrained string

Valid values:

• none
• use-configured-merge-tool
• git-config

Default: use-configured-merge-tool

tools.editor.fileExtraOptions

Extra options passed to the editor when opening a file.

INFO

This option will not have any effect unless a custom external editor is set with tools.editor.package.

The following variables are available:

• $REPO_PATH: path to the repository on filesystem
• $FILE_PATH: path to the file on filesystem

Scope: Profile

Type: null or string

Default: null

tools.editor.package

External code/text editor.

Scope: Global

Type: null or package

Default: null

tools.editor.repoExtraOptions

Extra options passed to the editor when opening a repository.

INFO

This option will not have any effect unless a custom external editor is set with tools.editor.package.

The following variable is available:

• $REPO_PATH: path to the repository on filesystem

Scope: Profile

Type: null or string

Default: null

tools.merge

Preferred merge tool.

Scope: Profile

Type: constrained string

Valid values:

• none
• git-config

Default: git-config

tools.terminal.extraOptions

Extra options passed to the terminal.

INFO

This option will not have any effect unless a custom external terminal is set with tools.terminal.package.

The following variable is available:

• %d: path to the repository on filesystem

Scope: Profile

Type: null or string

Default: null

tools.terminal.package

External terminal.

When set to null, the built-in terminal will be used.

Scope: Global

Type: null or package

Default: null

Example: pkgs.alacritty