diff --git a/install/bensprogamma/install.sh b/install/bensprogamma/install.sh
deleted file mode 100644
index 6b3792e..0000000
--- a/install/bensprogamma/install.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-# Default Git repository (kan leeg zijn of een voorbeeld)
-DEFAULT_REPO="https://github.com/torvalds/linux.git"
-
-# Gebruik argument 1 als URL, anders default
-REPO_URL="${1:-$DEFAULT_REPO}"
-
-# Gebruik argument 2 als mapnaam, anders standaard naam van repo
-DIR_NAME="${2:-}"
-
-# Check of URL leeg is
-if [ -z "$REPO_URL" ]; then
-    echo "Error: Geen Git repository opgegeven."
-    exit 1
-fi
-
-# Clone de repo
-if [ -z "$DIR_NAME" ]; then
-    git clone "$REPO_URL"
-else
-    git clone "$REPO_URL" "$DIR_NAME"
-fi
-
-echo "Klaar."
\ No newline at end of file