From 6b4b02bda5a36e954c7c6b51139f7e96e8cf7904 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte@vanpetegem.me>
Date: Fri, 8 May 2020 13:44:49 +0200
Subject: [PATCH] Use wrapped at

---
 shells/dodona.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shells/dodona.nix b/shells/dodona.nix
index 7fd7f5c2..0e9c685b 100644
--- a/shells/dodona.nix
+++ b/shells/dodona.nix
@@ -14,8 +14,8 @@ pkgs.mkShell {
         #!${bash}/bin/bash
 
         function stopdockers {
-          echo ${docker}/bin/docker stop dodona-db | ${at}/bin/at NOW
-          echo ${docker}/bin/docker stop dodona-cache | ${at}/bin/at NOW
+          echo ${docker}/bin/docker stop dodona-db | at NOW
+          echo ${docker}/bin/docker stop dodona-cache | at NOW
         }
 
         trap stopdockers 0