From 73f06eaad3f60828e8b2a105923b426858f28ced Mon Sep 17 00:00:00 2001
From: Malte Brandy <malte.brandy@maralorn.de>
Date: Wed, 19 Jan 2022 13:28:10 +0100
Subject: [PATCH] Change hotkeys

---
 home-manager/roles/hotkeys.nix | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/home-manager/roles/hotkeys.nix b/home-manager/roles/hotkeys.nix
index 1fd45c04..e9c0ccc0 100644
--- a/home-manager/roles/hotkeys.nix
+++ b/home-manager/roles/hotkeys.nix
@@ -16,13 +16,9 @@ in
   {
     Research = {
       Zotero = fork "zotero";
-      Launch = pkgs.writeShellScript "research" ''
-        cd ~/git/promotion
-        kitty vim chapters &
-        evince out/print.pdf &
-        zotero &
-        flix develop -c flix run
-      '';
+      Open = fork "evince out/print.pdf";
+      Build = "flix develop -c flix run";
+      Directory = fork "kitty -d ~/git/promotion";
     };
   }
   {