From 57088aca5e57b151fa8ea3ffca5cfb7ccac05d01 Mon Sep 17 00:00:00 2001
From: Simon Ehrenstein <simon.ehrenstein@gmail.com>
Date: Thu, 6 Aug 2020 14:15:33 +0200
Subject: [PATCH] Change to python script
---
execution/{theodolite.sh => theodolite.py} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename execution/{theodolite.sh => theodolite.py} (98%)
diff --git a/execution/theodolite.sh b/execution/theodolite.py
similarity index 98%
rename from execution/theodolite.sh
rename to execution/theodolite.py
index d382d9f64..d7b3d940a 100755
--- a/execution/theodolite.sh
+++ b/execution/theodolite.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3.7
+#!/usr/bin/env python
import sys
import os
--
GitLab