From 64b498b2dd458937cfc930d557513ff36db4dd23 Mon Sep 17 00:00:00 2001 From: Serge Schneider Date: Thu, 7 Sep 2023 14:59:28 +0100 Subject: [PATCH] Don't generate NOOBS files --- stage2/EXPORT_NOOBS | 2 -- stage4/EXPORT_NOOBS | 2 -- stage5/EXPORT_NOOBS | 2 -- 3 files changed, 6 deletions(-) delete mode 100644 stage2/EXPORT_NOOBS delete mode 100644 stage4/EXPORT_NOOBS delete mode 100644 stage5/EXPORT_NOOBS diff --git a/stage2/EXPORT_NOOBS b/stage2/EXPORT_NOOBS deleted file mode 100644 index 0d78ecf..0000000 --- a/stage2/EXPORT_NOOBS +++ /dev/null @@ -1,2 +0,0 @@ -NOOBS_NAME="Raspberry Pi OS Lite (32-bit)" -NOOBS_DESCRIPTION="A port of Debian with no desktop environment" diff --git a/stage4/EXPORT_NOOBS b/stage4/EXPORT_NOOBS deleted file mode 100644 index f197ee1..0000000 --- a/stage4/EXPORT_NOOBS +++ /dev/null @@ -1,2 +0,0 @@ -NOOBS_NAME="Raspberry Pi OS (32-bit)" -NOOBS_DESCRIPTION="A port of Debian with the Raspberry Pi Desktop" diff --git a/stage5/EXPORT_NOOBS b/stage5/EXPORT_NOOBS deleted file mode 100644 index ac7051f..0000000 --- a/stage5/EXPORT_NOOBS +++ /dev/null @@ -1,2 +0,0 @@ -NOOBS_NAME="Raspberry Pi OS Full (32-bit)" -NOOBS_DESCRIPTION="A port of Debian with desktop and recommended applications"