From 01aa88ca219b4fed8b10b1ef3cc24eb72e7e1d86 Mon Sep 17 00:00:00 2001
From: "Thomas J. Zajac" <thomas-jakob.zajac@uni-tuebingen.de>
Date: Fri, 11 Oct 2024 18:30:09 +0000
Subject: [PATCH] Reverted fixup deletion

---
 .devcontainer/Dockerfile | 1 +
 .devcontainer/fixup      | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100755 .devcontainer/fixup

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 8420244b..43e0dff3 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -14,5 +14,6 @@ RUN if [ "${INSTALL_NODE}" = "true" ]; then su vscode -c "umask 0002 && . /usr/l
 
 # Copy install and launcher script to bin:
 COPY ./dev_install /bin
+COPY ./fixup /bin
 
 CMD ["sleep", "infinity"]
diff --git a/.devcontainer/fixup b/.devcontainer/fixup
new file mode 100755
index 00000000..63cf43dc
--- /dev/null
+++ b/.devcontainer/fixup
@@ -0,0 +1,4 @@
+#!/bin/bash
+# This script is used to update the service files in the service directory
+# 'fixup' is a shortcut for 'scripts/update_service_files.py'
+python3 ./scripts/update_service_files.py "$@"