From 145411ad5bcc4255242b6593b8520baf94c1cd86 Mon Sep 17 00:00:00 2001
From: Aaruni Kaushik <aaruni@edufor.me>
Date: Fri, 2 Aug 2024 11:11:14 +0200
Subject: [PATCH] Filename can't have a forward slash in it

---
 tester.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tester.py b/tester.py
index 8966d04..899a33c 100644
--- a/tester.py
+++ b/tester.py
@@ -8,7 +8,7 @@
 branch = sys.argv[3]
 filename = sys.argv[4]
 tut = f'''https://raw.githubusercontent.com/{repo}/{branch}/{filename}.ipynb'''
-nbfilename = f"notebooks/{filename}.ipynb"
+nbfilename = f"notebooks/{filename.replace("/", "_")}.ipynb"
 with open(nbfilename, 'w') as tutfile:
     r = requests.get(tut).content.decode()
     tutfile.write(r)