Improve foot-config
This commit is contained in:
parent
b7750446a5
commit
6dcaa7f20f
5 changed files with 13 additions and 10 deletions
|
@ -179,12 +179,12 @@ in {
|
||||||
};
|
};
|
||||||
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/terminal" = {
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/terminal" = {
|
||||||
binding = "<Super>Return";
|
binding = "<Super>Return";
|
||||||
command = "foot";
|
command = "footclient";
|
||||||
name = "Terminal";
|
name = "Terminal";
|
||||||
};
|
};
|
||||||
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/hotkeys" = {
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/hotkeys" = {
|
||||||
binding = "<Super>space";
|
binding = "<Super>space";
|
||||||
command = "foot ${pkgs.wizards-dialog}/bin/hotkeys ${pkgs.writeText "hotkeys.yaml" (builtins.toJSON hotkeys)}";
|
command = "footclient ${pkgs.wizards-dialog}/bin/hotkeys ${pkgs.writeText "hotkeys.yaml" (builtins.toJSON hotkeys)}";
|
||||||
name = "Hotkeys";
|
name = "Hotkeys";
|
||||||
};
|
};
|
||||||
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/standby" = {
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/standby" = {
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
m-0 = {
|
m-0 = {
|
||||||
hostName = lib.mkOption {type = lib.types.str;};
|
hostName = lib.mkOption {type = lib.types.str;};
|
||||||
terminal = lib.mkOption {
|
terminal = lib.mkOption {
|
||||||
default = "foot";
|
default = "footclient";
|
||||||
type = lib.types.str;
|
type = lib.types.str;
|
||||||
};
|
};
|
||||||
colors = lib.mkOption {
|
colors = lib.mkOption {
|
||||||
|
|
|
@ -17,7 +17,7 @@ in [
|
||||||
Zotero = fork "zotero";
|
Zotero = fork "zotero";
|
||||||
Open = fork "evince ~/git/promotion/out/print.pdf";
|
Open = fork "evince ~/git/promotion/out/print.pdf";
|
||||||
Build = "sh -c 'cd ~/git/promotion; flix develop -c flix run'";
|
Build = "sh -c 'cd ~/git/promotion; flix develop -c flix run'";
|
||||||
Directory = fork "foot -d ~/git/promotion";
|
Directory = fork "footclient -d ~/git/promotion";
|
||||||
Edit = "codium ~/git/promotion";
|
Edit = "codium ~/git/promotion";
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
@ -63,7 +63,7 @@ in [
|
||||||
Editor = fork "codium";
|
Editor = fork "codium";
|
||||||
Config = "codium ~/git/config";
|
Config = "codium ~/git/config";
|
||||||
Files = fork "nautilus";
|
Files = fork "nautilus";
|
||||||
DarkTerminal = fork "foot -o 'color.background=000000' -o 'foreground=ffffff'";
|
DarkTerminal = fork "footclient -o 'color.background=000000' -o 'foreground=ffffff'";
|
||||||
Accounting = {
|
Accounting = {
|
||||||
Update = "nix run ./git/buchhaltung#update";
|
Update = "nix run ./git/buchhaltung#update";
|
||||||
Display = "hledger -f ~/git/buchhaltung/buchhaltung.journal ui -- --watch --theme=terminal -X€ -t -E";
|
Display = "hledger -f ~/git/buchhaltung/buchhaltung.journal ui -- --watch --theme=terminal -X€ -t -E";
|
||||||
|
|
|
@ -12,7 +12,7 @@
|
||||||
echo "Git repo up-to-date, not doing anything."
|
echo "Git repo up-to-date, not doing anything."
|
||||||
exit 0;
|
exit 0;
|
||||||
else
|
else
|
||||||
${pkgs.foot}/bin/foot --hold ${config.home.profileDirectory}/bin/maintenance
|
${pkgs.foot}/bin/footclient --hold ${config.home.profileDirectory}/bin/maintenance
|
||||||
fi
|
fi
|
||||||
'';
|
'';
|
||||||
in {
|
in {
|
||||||
|
|
|
@ -2,21 +2,24 @@
|
||||||
my-lib = import ../../lib;
|
my-lib = import ../../lib;
|
||||||
theme = my-lib.themes.default;
|
theme = my-lib.themes.default;
|
||||||
in {
|
in {
|
||||||
home.sessionVariables.TERMINAL = "${pkgs.foot}/bin/foot";
|
home.sessionVariables.TERMINAL = "${pkgs.foot}/bin/footclient";
|
||||||
home.packages = [
|
home.packages = [
|
||||||
(pkgs.runCommandLocal "fake-gnome-terminal" {} ''
|
(pkgs.runCommandLocal "fake-gnome-terminal" {} ''
|
||||||
mkdir -p $out/bin
|
mkdir -p $out/bin
|
||||||
ln -s ${pkgs.foot}/bin/foot $out/bin/gnome-terminal
|
ln -s ${pkgs.foot}/bin/footclient $out/bin/gnome-terminal
|
||||||
'')
|
'')
|
||||||
];
|
];
|
||||||
programs.foot = {
|
programs.foot = {
|
||||||
enable = true;
|
enable = true;
|
||||||
|
server.enable = true;
|
||||||
settings = {
|
settings = {
|
||||||
csd = {
|
csd = {
|
||||||
preferred = "none";
|
preferred = "client";
|
||||||
|
size = "0";
|
||||||
|
border-width = "1";
|
||||||
|
color = "af0000aa";
|
||||||
};
|
};
|
||||||
main = {
|
main = {
|
||||||
term = "xterm-256color";
|
|
||||||
font = "monospace:size=10.5";
|
font = "monospace:size=10.5";
|
||||||
dpi-aware = "no";
|
dpi-aware = "no";
|
||||||
include = "${pkgs.foot.themes}/share/foot/themes/selenized-white";
|
include = "${pkgs.foot.themes}/share/foot/themes/selenized-white";
|
||||||
|
|
Loading…
Reference in a new issue