2024-02-16 07:50:33 -07:00
|
|
|
{ pkgs, ... }:
|
|
|
|
let
|
2024-03-03 14:15:19 -07:00
|
|
|
profile = {
|
|
|
|
Appearance = {
|
|
|
|
AntiAliasFonts = true;
|
|
|
|
BoldIntense = true;
|
|
|
|
ColorScheme = "BlackOnLightYellow";
|
|
|
|
Font = "Go Mono,10,-1,5,50,0,0,0,0,0";
|
|
|
|
UseFontLineCharacters = false;
|
|
|
|
};
|
|
|
|
General = {
|
|
|
|
Name = "ARST";
|
|
|
|
Parent = "FALLBACK/";
|
|
|
|
};
|
|
|
|
|
|
|
|
"Interaction Options" = {
|
|
|
|
AutoCopySelectedText = true;
|
|
|
|
CopyTextAsHTML = false;
|
|
|
|
};
|
|
|
|
|
|
|
|
"Terminal Features" = {
|
|
|
|
BellMode = 3;
|
|
|
|
};
|
|
|
|
};
|
2024-02-16 07:50:33 -07:00
|
|
|
settings = {
|
2024-03-03 14:15:19 -07:00
|
|
|
"Desktop Entry" = {
|
|
|
|
DefaultProfile = "${profile.General.Name}.profile";
|
|
|
|
};
|
|
|
|
MainWindow = {
|
2024-02-16 07:50:33 -07:00
|
|
|
MenuBar = "Disabled";
|
|
|
|
StatusBar = "Disabled";
|
|
|
|
ToolBarsMovable = "Disabled";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
settingsFormat = pkgs.formats.ini { };
|
|
|
|
settingsFile = settingsFormat.generate "konsolerc" settings;
|
2024-03-03 14:15:19 -07:00
|
|
|
profileFile = settingsFormat.generate "${profile.General.Name}.profile" profile;
|
|
|
|
|
|
|
|
profilePkg = pkgs.stdenv.mkDerivation {
|
|
|
|
name = "konsole-profile";
|
|
|
|
phases = [ "installPhase" ];
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/share/konsole
|
|
|
|
cp ${profileFile} "$out/share/konsole/${profile.General.Name}.profile"
|
|
|
|
'';
|
|
|
|
};
|
2024-02-16 07:50:33 -07:00
|
|
|
in
|
|
|
|
{
|
|
|
|
config = {
|
|
|
|
environment = {
|
2024-03-03 14:15:19 -07:00
|
|
|
systemPackages = [
|
|
|
|
profilePkg
|
|
|
|
];
|
2024-02-16 07:50:33 -07:00
|
|
|
etc = {
|
|
|
|
"xdg/konsolerc".text = builtins.readFile settingsFile;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
fonts = { packages = [ pkgs.go-font ]; };
|
|
|
|
};
|
|
|
|
}
|