From 50955d948da6902c685ddbea785d8af51ca49e5a Mon Sep 17 00:00:00 2001 From: Simon Long Date: Tue, 8 Oct 2019 10:21:22 +0100 Subject: [PATCH] Remove pixel doubling option for x86 --- debian/changelog | 6 ++++++ raspi-config | 2 -- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 646da6c..c94f43c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +raspi-config (20191008) buster; urgency=medium + + * Remove pixel doubling option for x86 + + -- Simon Long Tue, 08 Oct 2019 10:19:48 +0100 + raspi-config (20191005) buster; urgency=medium * Add overlay file system functions diff --git a/raspi-config b/raspi-config index 0db8bc5..f0c4977 100755 --- a/raspi-config +++ b/raspi-config @@ -2248,7 +2248,6 @@ if [ "$INTERACTIVE" = True ]; then "3 Boot Options" "Configure options for start-up" \ "4 Localisation Options" "Set up language and regional settings to match your location" \ "5 SSH" "Enable/Disable remote command line access to your PC using SSH" \ - "6 Pixel Doubling" "Enable/Disable 2x2 pixel mapping" \ "8 Update" "Update this tool to the latest version" \ "9 About raspi-config" "Information about this configuration tool" \ 3>&1 1>&2 2>&3) @@ -2277,7 +2276,6 @@ if [ "$INTERACTIVE" = True ]; then 3\ *) do_boot_menu ;; 4\ *) do_internationalisation_menu ;; 5\ *) do_ssh ;; - 6\ *) do_pixdub ;; 8\ *) do_update ;; 9\ *) do_about ;; *) whiptail --msgbox "Programmer error: unrecognized option" 20 60 1 ;;