mirror of
https://github.com/brain-hackers/brain-config.git
synced 2024-12-22 20:20:06 +09:00
Remove pixel doubling option for x86
This commit is contained in:
parent
202d0eed04
commit
50955d948d
6
debian/changelog
vendored
6
debian/changelog
vendored
@ -1,3 +1,9 @@
|
||||
raspi-config (20191008) buster; urgency=medium
|
||||
|
||||
* Remove pixel doubling option for x86
|
||||
|
||||
-- Simon Long <simon@raspberrypi.org> Tue, 08 Oct 2019 10:19:48 +0100
|
||||
|
||||
raspi-config (20191005) buster; urgency=medium
|
||||
|
||||
* Add overlay file system functions
|
||||
|
@ -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 ;;
|
||||
|
Loading…
Reference in New Issue
Block a user