From 4ff3e6cee5397fec331f159b85977fe2b008b342 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Fri, 7 May 2021 12:40:12 +0200
Subject: [PATCH] chore(develop): fix minio cleanup

---
 shell.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell.nix b/shell.nix
index 8ff87a860..d6bc7b130 100644
--- a/shell.nix
+++ b/shell.nix
@@ -118,8 +118,8 @@ let
 
        cleanup_minio() {
          [[ -n "$minio_pid" ]] && kill $minio_pid
-         [[ -n "$minio_dir" ]] && rm -rvf ''${minio_dir}
-         [[ -n "MINIO_LOGFILE" ]] && rm -rvf ''${MINIO_LOGFILE}
+         [[ -n "''${MINIO_DIR}" ]] && rm -rvf ''${MINIO_DIR}
+         [[ -n "''${MINIO_LOGFILE}" ]] && rm -rvf ''${MINIO_LOGFILE}
        }
 
        MINIO_DIR=$(mktemp -d)