profiles.*.tools
External tools settings for this profile.
Type: attribute set of (submodule)
Default: { }
profiles.*.tools.diff
Preferred diff tool.
Type: constrained string
Valid values:
noneuse-configured-merge-toolgit-config
Default: use-configured-merge-tool
profiles.*.tools.editor.fileExtraOptions
Extra options passed to the editor when opening a file.
note
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
Type: null or string
Default: null
profiles.*.tools.editor.repoExtraOptions
Extra options passed to the editor when opening a repository.
note
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
Type: null or string
Default: null
profiles.*.tools.merge
Preferred merge tool.
Type: constrained string
Valid values:
nonegit-config
Default: git-config
profiles.*.tools.terminal.extraOptions
Extra options passed to the terminal.
note
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
Type: null or string
Default: null
This documentation was automatically generated from the NixKraken configuration options.
Generated on: 2025-09-14