Comment 14 for bug 222690

Here are the installation-logs you asked, Evan.

I made them by changing the sudo thing with :

(...)
set -x (this is the only line I added)
set -e

I well encountered the bug at 88%, restarted all right, and here are the logs.

I hope this is what you need.

Duanra