From 723b8f6cb10c4170298ec71c7dccfdaab43e8959 Mon Sep 17 00:00:00 2001
From: Lionel GUEZ <guez@lmd.ens.fr>
Date: Fri, 11 Jun 2021 19:34:29 +0200
Subject: [PATCH] Bug fix: correct name of directory
Bug was introduced in commit 8c91ffe.
---
Inst_eddies/inst_eddies_in.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Inst_eddies/inst_eddies_in.py b/Inst_eddies/inst_eddies_in.py
index 217176ba..63de904e 100755
--- a/Inst_eddies/inst_eddies_in.py
+++ b/Inst_eddies/inst_eddies_in.py
@@ -32,7 +32,7 @@ if not os.access(inst_eddies_exe, os.X_OK):
for orient in ["cyclo", "anti"]:
if os.access(f"SHPC_{orient}_all_dates", os.F_OK):
- shutil.rmtree("SHPC_all_dates")
+ shutil.rmtree(f"SHPC_{orient}_all_dates")
dirname, basename = path.split(args.first_file)
my_date = datetime.datetime.strptime(basename, args.date_format).date()
--
GitLab