Bug#775109: marked as done (debian-installer: fails to format existing EFI system partition if fat32)

2015-01-12 Thread Debian Bug Tracking System
Your message dated Mon, 12 Jan 2015 14:27:21 +
with message-id 20150112142721.gc13...@einval.com
and subject line Re: Bug#775109: debian-installer: fails to format existing EFI 
system partition if fat32
has caused the Debian Bug report #775109,
regarding debian-installer: fails to format existing EFI system partition if 
fat32
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
775109: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=775109
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
---BeginMessage---
Package: debian-installer
Version: 20150107

I've tried using each beta2 + a daily image (from 20150109) to install
debian on a laptop, which already had partitions in place.  This includes
an EFI partition, which was formatted on a previous distribution using
mkfs.fat -F32 /dev/foo

During installation of jessie, the installer recognized the partition well,
and allowed me to delete the contents.  However, it refused to easily allow
me to format it, always opting to keep the data (shown with a K in the
summary page).

I suspect that the debian installer wasn't quite sure how to handle it
being 32-bit, as the D-I seems to prefer and use 16.  As a result, the
partitioning failed.  I was eventually able to go back, and after some
selecting/un-selecting, finally noticed that the installer flagged the
partition with f for format.
---End Message---
---BeginMessage---
On Mon, Jan 12, 2015 at 09:20:02AM -0500, Andrew Brouwers wrote:
On Sun, Jan 11, 2015 at 9:47 PM, Steve McIntyre st...@einval.com wrote:

 Very off - that doesn't match my own memory of testing this. We also
^odd - oops! :-)

 deliberately choose to format with FAT32 on amd64! Hmmm, curious now -
 is there anything special about the NLS settings of the earlier OS,
 maybe?

Not to my knowledge, no; the partitioning was done from scratch using
gdisk, and the fat32 partition (for the ESP) was created with
mkfs.fat -F32 /dev/sdaX
.  D-I recognized the partition as ESP without issue, but failed when I
tried to re-use it (ie, selecting manual partitioning), regardless if I
erased the contents or not.

It's working fine now, so perhaps I have a weird scenario, and the bug
should be closed.  I won't be too willing to re-create the issue, since
Jessie is up and running quite well!

OK, fair enough. :-)

Thanks a lot for your review.

No problem! Closing the bug now...

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
The problem with defending the purity of the English language is that
 English is about as pure as a cribhouse whore. We don't just borrow words; on
 occasion, English has pursued other languages down alleyways to beat them
 unconscious and rifle their pockets for new vocabulary.  -- James D. Nicoll---End Message---


Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Jean Privat
 Hmmm, sounds like a BIOS/firmware bug if you need to add that custom
 boot method - UEFI boot option registration should work without
 that.

After the install, the computer booted to windows.
Using the bios bootmenu (F9) the default option is OS Boot Manager
that boots windows.
But debian is present in the menu at the last position and selecting
it successfully boot debian.

In the bios setup (F10), in the boot option menu, I can change the
order of the boot options but there is no debian present in the list
: only OS Boot Manager, a lot of hardware boot option like USD Hard
Drive or SD Card, the last option is Customized Boot.

So I just moved Customized Boot to the first place and give it the
value recommended by
https://wiki.debian.org/InstallingDebianOn/HP/EliteBook%20840%20G1

 Also: you've tried my unofficial Jessie development image - is
 that because the standard images didn't work, or is this just the
 first image you tried?

I tried first a daily USB image from
http://d-i.debian.org/daily-images/amd64/daily/

But:

* I had to use UEFI Hybrid (With CSM) (instead of  UEFI Boot only
(Without CSM)) so that the bios can see the USB key
* The install was successful but it seems that the grub install
silently failed since, after the reboot, there was no debian (or any
new option) in the boot menu
* I retried the USB key in rescue mode, so I can force-install grub
manually but it failed (I do not remember the error message) and the
grub-efi version did not work either because no EFI (no
/sys/firmware/efi/ ). It is possible that the bios option UEFI Hybrid
(With CSM) hides the EFI to the installer
* Seeing that the installer did not like the EFI, I remembered
http://blog.einval.com/2015/01/11#Jessie-EFI_5 and just tried the
proposed image
* I reseted the bios to UEFI Boot only (Without CSM) and the bios
showed the new USB key, so could retry the install.

-- 
Jean PRIVAT, professeur/professor
Département d'informatique/Department of Computer Science
U.Q.A.M.
CP , succ. centre-ville
Montréal (Québec)
Canada H3C 3P8

Bureau/Office: PK-4830
Site/Web: http://info.uqam.ca/~privat/


--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/camqw0op_op4qsufcw6bdwyky_xdwkhk0m2r70pyvmn8jue-...@mail.gmail.com



Specifying mount options to partman-auto

2015-01-12 Thread Paul Chavent

Hi

I would like to specify mount options to partman-auto in a preseed conf 
file.


For instance, i have this code

  4000 12000 12000 ext4   \
  $primary{ } \
  method{ format } format{ }  \
  use_filesystem{ } filesystem{ ext4 }\
  mountpoint{ / } \
  options/noatime{ noatime }  \
  options/nodiratime{ nodiratime }\
  options/discard{ discard }  \
  options/async{ async }  \
  options/commit{ commit=600 }\
  .   \

It seems that the options aren't taken into account.

My questions are :
 - is there any way to check the parsing of the partman-auto specs 
(like debconf-set-selection -c with the preseed file) ?
 - where is the code that handle options in partman-auto (i have 
searched in partman-{base,partitioning,auto} without success ?

 - is it intended to work this way ?

Thank for your help.

Regards.

Paul.


--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/54b3ef2d.2070...@onera.fr



Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 03:40:50PM -0500, Jean Privat wrote:
 Yes, that sounds like the problem. You've ended up booting in BIOS
 mode, so the installer can't do any EFI things at all. Roughly when
 did you try this daily image? In the last month or so, or older than
 that?

last wednesday if I remember correctly. so 2015-01-07

OK, thanks.

* Seeing that the installer did not like the EFI, I remembered
http://blog.einval.com/2015/01/11#Jessie-EFI_5 and just tried the
proposed image
* I reseted the bios to UEFI Boot only (Without CSM) and the bios
showed the new USB key, so could retry the install.

 OK, that's very odd. You've booted using 64-bit grub-efi. But the new
 image *shouldn't* be showing any differences there! Can you test
 something else for me please? What does

   # cat /sys/firmware/efi/fw_platform_size

 say on the installed system, please?

This file does not exist neither on the installed system, nor within
the installer from the USB stick that contains your upload2 image.
I tried to `find` it but still nothing.

The file fw_vendor exists and contains 0xbb32e318

Ah, sorry - I got confused. Tha file should exist in the upload3
image. If it's not too much trouble, could I ask you to try that
please, and run 64-bit install? I've got a suspicion that your
system is a bit odd!

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
Support the Campaign for Audiovisual Free Expression: http://www.eff.org/cafe/


-- 
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/20150112204754.gu21...@einval.com



Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Jean Privat
 Yes, that sounds like the problem. You've ended up booting in BIOS
 mode, so the installer can't do any EFI things at all. Roughly when
 did you try this daily image? In the last month or so, or older than
 that?

last wednesday if I remember correctly. so 2015-01-07

* Seeing that the installer did not like the EFI, I remembered
http://blog.einval.com/2015/01/11#Jessie-EFI_5 and just tried the
proposed image
* I reseted the bios to UEFI Boot only (Without CSM) and the bios
showed the new USB key, so could retry the install.

 OK, that's very odd. You've booted using 64-bit grub-efi. But the new
 image *shouldn't* be showing any differences there! Can you test
 something else for me please? What does

   # cat /sys/firmware/efi/fw_platform_size

 say on the installed system, please?

This file does not exist neither on the installed system, nor within
the installer from the USB stick that contains your upload2 image.
I tried to `find` it but still nothing.

The file fw_vendor exists and contains 0xbb32e318

-- 
Jean PRIVAT, professeur/professor
Département d'informatique/Department of Computer Science
U.Q.A.M.
CP , succ. centre-ville
Montréal (Québec)
Canada H3C 3P8

Bureau/Office: PK-4830
Site/Web: http://info.uqam.ca/~privat/


--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/camqw0on3kqfwcjqvdtqosrvahjczmc+rq9k4283f2d46t-b...@mail.gmail.com



Bug#775138: Acknowledgement (debian-installer: Preseed partition scheme fails with No root filesystem is defined.)

2015-01-12 Thread Iain M Conochie

Hi,

  Sorry to waste your time, but you can close this bug. User error.

Cheers

Iain


--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/54b43087.40...@thargoid.co.uk



Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 09:35:30AM -0500, Jean Privat wrote:
 Hmmm, sounds like a BIOS/firmware bug if you need to add that custom
 boot method - UEFI boot option registration should work without
 that.

After the install, the computer booted to windows. Using the bios
bootmenu (F9) the default option is OS Boot Manager that boots
windows. But debian is present in the menu at the last position and
selecting it successfully boot debian.

In the bios setup (F10), in the boot option menu, I can change the
order of the boot options but there is no debian present in the list
: only OS Boot Manager, a lot of hardware boot option like USD Hard
Drive or SD Card, the last option is Customized Boot.

So I just moved Customized Boot to the first place and give it the
value recommended by
https://wiki.debian.org/InstallingDebianOn/HP/EliteBook%20840%20G1

 Also: you've tried my unofficial Jessie development image - is
 that because the standard images didn't work, or is this just the
 first image you tried?

I tried first a daily USB image from
http://d-i.debian.org/daily-images/amd64/daily/

But:

* I had to use UEFI Hybrid (With CSM) (instead of  UEFI Boot only
(Without CSM)) so that the bios can see the USB key
* The install was successful but it seems that the grub install
silently failed since, after the reboot, there was no debian (or any
new option) in the boot menu
* I retried the USB key in rescue mode, so I can force-install grub
manually but it failed (I do not remember the error message) and the
grub-efi version did not work either because no EFI (no
/sys/firmware/efi/ ). It is possible that the bios option UEFI Hybrid
(With CSM) hides the EFI to the installer

Yes, that sounds like the problem. You've ended up booting in BIOS
mode, so the installer can't do any EFI things at all. Roughly when
did you try this daily image? In the last month or so, or older than
that?

* Seeing that the installer did not like the EFI, I remembered
http://blog.einval.com/2015/01/11#Jessie-EFI_5 and just tried the
proposed image
* I reseted the bios to UEFI Boot only (Without CSM) and the bios
showed the new USB key, so could retry the install.

OK, that's very odd. You've booted using 64-bit grub-efi. But the new
image *shouldn't* be showing any differences there! Can you test
something else for me please? What does

  # cat /sys/firmware/efi/fw_platform_size

say on the installed system, please?

-- 
Steve McIntyre, Cambridge, UK.st...@einval.com
Can't keep my eyes from the circling sky,
Tongue-tied  twisted, Just an earth-bound misfit, I...


-- 
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/20150112171749.gh13...@einval.com