2025-04-11 22:18:38 -05:00
|
|
|
|
{
|
|
|
|
|
pkgs,
|
|
|
|
|
flake,
|
|
|
|
|
osConfig,
|
|
|
|
|
...
|
|
|
|
|
}:
|
|
|
|
|
let
|
|
|
|
|
inherit (flake.config.machines.devices) mars;
|
|
|
|
|
hostname = osConfig.networking.hostName;
|
|
|
|
|
in
|
2025-03-31 19:47:20 -05:00
|
|
|
|
{
|
|
|
|
|
services.espanso = {
|
|
|
|
|
enable = true;
|
2025-04-11 22:18:38 -05:00
|
|
|
|
package = if hostname == mars.name then pkgs.espanso-wayland else pkgs.espanso;
|
2025-03-31 19:47:20 -05:00
|
|
|
|
matches = {
|
|
|
|
|
base = {
|
|
|
|
|
matches = [
|
|
|
|
|
{
|
2025-04-06 19:02:58 -05:00
|
|
|
|
trigger = ":neg";
|
|
|
|
|
replace = "¬";
|
2025-03-31 19:47:20 -05:00
|
|
|
|
}
|
|
|
|
|
{
|
2025-04-06 19:02:58 -05:00
|
|
|
|
trigger = ":conj";
|
|
|
|
|
replace = "∧";
|
2025-03-31 19:47:20 -05:00
|
|
|
|
}
|
|
|
|
|
{
|
2025-04-06 19:02:58 -05:00
|
|
|
|
trigger = ":disj";
|
|
|
|
|
replace = "∨";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":imp";
|
|
|
|
|
replace = "→";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":bicon";
|
|
|
|
|
replace = "↔";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":forall";
|
|
|
|
|
replace = "∀";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":exist";
|
|
|
|
|
replace = "∃";
|
2025-03-31 19:47:20 -05:00
|
|
|
|
}
|
2025-04-16 12:36:14 -05:00
|
|
|
|
{
|
|
|
|
|
trigger = ":therefore";
|
|
|
|
|
replace = "∴";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":delta";
|
|
|
|
|
replace = "Δ";
|
|
|
|
|
}
|
2025-04-11 22:18:38 -05:00
|
|
|
|
{
|
|
|
|
|
trigger = ":em";
|
|
|
|
|
replace = "—";
|
|
|
|
|
}
|
2025-04-16 12:36:14 -05:00
|
|
|
|
{
|
|
|
|
|
trigger = ":ss2";
|
|
|
|
|
replace = "²";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":ss3";
|
|
|
|
|
replace = "³";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":glp";
|
|
|
|
|
replace = "GLP-1RA";
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
trigger = ":degree";
|
|
|
|
|
replace = "°";
|
|
|
|
|
}
|
2025-03-31 19:47:20 -05:00
|
|
|
|
];
|
|
|
|
|
};
|
|
|
|
|
global_vars = {
|
|
|
|
|
global_vars = [
|
|
|
|
|
{
|
|
|
|
|
name = "currentdate";
|
|
|
|
|
type = "date";
|
|
|
|
|
params = {
|
|
|
|
|
format = "%d/%m/%Y";
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
{
|
|
|
|
|
name = "currenttime";
|
|
|
|
|
type = "date";
|
|
|
|
|
params = {
|
|
|
|
|
format = "%R";
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
];
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
}
|