2017-06-27 10:57:44 +02:00
|
|
|
# This module manages the terminfo database
|
|
|
|
# and its integration in the system.
|
|
|
|
{ config, ... }:
|
|
|
|
{
|
|
|
|
config = {
|
|
|
|
|
|
|
|
environment.pathsToLink = [
|
|
|
|
"/share/terminfo"
|
|
|
|
];
|
|
|
|
|
2019-08-13 23:52:01 +02:00
|
|
|
environment.etc.terminfo = {
|
2017-06-27 10:57:44 +02:00
|
|
|
source = "${config.system.path}/share/terminfo";
|
|
|
|
};
|
|
|
|
|
2019-09-11 12:39:05 +02:00
|
|
|
environment.profileRelativeSessionVariables = {
|
2017-06-27 10:57:44 +02:00
|
|
|
TERMINFO_DIRS = [ "/share/terminfo" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
environment.extraInit = ''
|
|
|
|
|
|
|
|
# reset TERM with new TERMINFO available (if any)
|
|
|
|
export TERM=$TERM
|
|
|
|
'';
|
|
|
|
|
|
|
|
security.sudo.extraConfig = ''
|
|
|
|
|
|
|
|
# Keep terminfo database for root and %wheel.
|
|
|
|
Defaults:root,%wheel env_keep+=TERMINFO_DIRS
|
|
|
|
Defaults:root,%wheel env_keep+=TERMINFO
|
|
|
|
'';
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|