Re: Installer: 32 vs. 64 bit

>> I've been encouraging my students to install Debian on their personal >> machines, and we've found out that a lot of them get the wrong Debian >> installer: >> >> - some of them attempt to install an AMD64 version of Debian in >> a 32-bit-only virtual machine; > Why are they creating 32-bit

Processed: found 903393

Processing commands for cont...@bugs.debian.org: > found 903393 1.185 Bug #903393 [console-setup] [initramfs-tools] update-initramfs -u warns: Unknown X keysym "dead_belowmacron" Marked as found in versions console-setup/1.185. > found 903393 1.186 Bug #903393 [console-setup] [initramfs-tools]

debian-installer-netboot-images_20170615+deb9u5_source.changes ACCEPTED into proposed-updates->stable-new, proposed-updates

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 08 Nov 2018 06:07:01 +0100 Source: debian-installer-netboot-images Binary: debian-installer-9-netboot-amd64 debian-installer-9-netboot-arm64 debian-installer-9-netboot-armel debian-installer-9-netboot-armhf

debian-installer-netboot-images_20170615+deb9u5_source.changes ACCEPTED into proposed-updates->stable-new

Mapping stretch to stable. Mapping stable to proposed-updates. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 08 Nov 2018 06:07:01 +0100 Source: debian-installer-netboot-images Binary: debian-installer-9-netboot-amd64 debian-installer-9-netboot-arm64

Processing of debian-installer-netboot-images_20170615+deb9u5_source.changes

debian-installer-netboot-images_20170615+deb9u5_source.changes uploaded successfully to localhost along with the files: debian-installer-netboot-images_20170615+deb9u5.dsc debian-installer-netboot-images_20170615+deb9u5.tar.xz debian-installer-netboot-images_20170615+deb9u5_source.buildinfo