2020-04-18 17:14:53 +01:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
{
|
|
|
|
|
|
|
|
home.packages = with pkgs; [ grobi ];
|
|
|
|
services.grobi = {
|
|
|
|
enable = true;
|
|
|
|
executeAfter = [
|
2020-05-08 16:25:14 +01:00
|
|
|
"${pkgs.systemd}/bin/systemctl --user restart picom"
|
|
|
|
"${pkgs.i3}/bin/i3-msg restart"
|
|
|
|
"${pkgs.systemd}/bin/systemctl --user restart kdeconnect-indicator kdeconnect network-manager-applet pasystray udiskie"
|
2020-04-18 17:14:53 +01:00
|
|
|
];
|
|
|
|
rules = [
|
|
|
|
{
|
|
|
|
name = "foureighty-docked";
|
|
|
|
outputs_connected = [ "eDP1" "DP1" ];
|
|
|
|
configure_single = "DP1";
|
|
|
|
execute_after = [
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --dpi 192"
|
2020-06-04 17:47:02 +01:00
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --output DP1 --primary"
|
2020-04-18 17:14:53 +01:00
|
|
|
];
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "foureighty";
|
2020-10-03 14:04:12 +01:00
|
|
|
outputs_connected = [ "eDP1-AUO-9014-0--" ];
|
2020-04-18 17:14:53 +01:00
|
|
|
configure_single = "eDP1";
|
|
|
|
execute_after = [
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --dpi 144"
|
2020-06-05 08:12:00 +01:00
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --output eDP1 --primary"
|
2020-04-18 17:14:53 +01:00
|
|
|
];
|
|
|
|
}
|
2020-10-03 13:59:35 +01:00
|
|
|
{
|
|
|
|
name = "skinnyv";
|
|
|
|
outputs_connected = [ "eDP1-AUO-8493-0--" ];
|
|
|
|
configure_single = "eDP1";
|
|
|
|
execute_after = [
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --dpi 96"
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --output eDP1 --primary"
|
|
|
|
];
|
|
|
|
}
|
2020-04-18 17:23:19 +01:00
|
|
|
{
|
|
|
|
name = "form3-docked";
|
|
|
|
outputs_connected = [ "eDP-1-1" "DP-1-1" ];
|
|
|
|
configure_single = "DP-1-1";
|
|
|
|
execute_after = [
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --dpi 192"
|
|
|
|
];
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "form3";
|
|
|
|
outputs_connected = [ "eDP-1-1" ];
|
|
|
|
configure_single = "eDP-1-1";
|
|
|
|
execute_after = [
|
|
|
|
"${pkgs.xorg.xrandr}/bin/xrandr --dpi 256"
|
|
|
|
];
|
|
|
|
}
|
2020-04-18 17:14:53 +01:00
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|