From b5f736c3ef1523511772ba7d59b3e9f691350e2f Mon Sep 17 00:00:00 2001 From: Malte Brandy Date: Thu, 20 Jan 2022 19:23:58 +0100 Subject: [PATCH] Fix hotkeys --- home-manager/roles/hotkeys.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home-manager/roles/hotkeys.nix b/home-manager/roles/hotkeys.nix index b7b8f614..daf564bd 100644 --- a/home-manager/roles/hotkeys.nix +++ b/home-manager/roles/hotkeys.nix @@ -16,8 +16,8 @@ in { Research = { Zotero = fork "zotero"; - Open = fork "evince out/print.pdf"; - Build = "flix develop -c flix run"; + Open = fork "evince ~/git/promotion/out/print.pdf"; + Build = "sh -c 'cd ~/git/promotion; flix develop -c flix run'"; Directory = fork "kitty -d ~/git/promotion"; }; }