On Wed, 23 Jul 2014, Ludovic Courtès wrote:
I’ve finally fixed this problem: http://bugs.gnu.org/18061.
Not perfect, since it requires users to type an extra command, but that
seems acceptable to me.
I would very much appreciate new tests and feedback. Here’s a new image
with this fix:
Adam Pribyl pri...@lowlevel.cz skribis:
On Wed, 23 Jul 2014, Ludovic Courtès wrote:
I’ve finally fixed this problem: http://bugs.gnu.org/18061.
Not perfect, since it requires users to type an extra command, but that
seems acceptable to me.
I would very much appreciate new tests and
Adam Pribyl pri...@lowlevel.cz writes:
I can not boot installed system, boot looks for /dev/sda1 which is not
present. It smells to me like the same problem with devtmpfs previously in
live USB... I found in grub the reference to /dev/sda1 (as LiveUSB now
with udev in devtmpfs and kernel
On Thu, 24 Jul 2014, David Thompson wrote:
Adam Pribyl pri...@lowlevel.cz writes:
I can not boot installed system, boot looks for /dev/sda1 which is not
present. It smells to me like the same problem with devtmpfs previously in
live USB... I found in grub the reference to /dev/sda1 (as
Adam Pribyl pri...@lowlevel.cz writes:
On Thu, 24 Jul 2014, David Thompson wrote:
Adam Pribyl pri...@lowlevel.cz writes:
I can not boot installed system, boot looks for /dev/sda1 which is not
present. It smells to me like the same problem with devtmpfs previously in
live USB... I found in
Adam Pribyl pri...@lowlevel.cz skribis:
- I would vote for the basic config.scm to be present on the USB
somewhere, it is time consuming to rewrite one from help to the
file. (Could be I may copy it somehow from info page, but I would need
a help how to do that.)
Done in 1dac856.
Ludo’.
I’ve finally fixed this problem: http://bugs.gnu.org/18061.
Not perfect, since it requires users to type an extra command, but that
seems acceptable to me.
I would very much appreciate new tests and feedback. Here’s a new image
with this fix:
Commit a69576e mounts devtmpfs in a proper way.
Ludo’.
Hello,
On Fri, Jul 18, 2014 at 09:04:49AM +0200, Ludovic Courtès wrote:
I’ve uploaded a new USB installation image for x86_64 for testing:
I just tried booting it, successfully, on my Dell Latitude (I think
E6320). As I have no free partition, I did not attempt an installation.
But guix
On Sun, 20 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
On Sat, 19 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Sorry, I was completely wrong, the new liveUSB has e2fsprogs,
however I probably do have the problem with ahci module
Adam Pribyl pri...@lowlevel.cz skribis:
Kernel in dmesg identifies the device like /dev/sdf, doing
mknod /dev/sdf b 8 80; mknod /dev/sdf1 b 8 81; mount /dev/sdf1 /mnt
solves the problem. So definitely the drive is at sdf. It looks to me
like there is some built in limit in udev for number of
On Mon, 21 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Kernel in dmesg identifies the device like /dev/sdf, doing
mknod /dev/sdf b 8 80; mknod /dev/sdf1 b 8 81; mount /dev/sdf1 /mnt
solves the problem. So definitely the drive is at sdf. It looks to me
like there
On Mon, 21 Jul 2014, Adam Pribyl wrote:
this involved
mount /dev/sdf1 /mnt/
cp -a /gnu /mnt/
mount -o bind /mnt/gnu /gnu
from now on, the target /mnt/gnu is filling up during guix system init.
it ends up with
initializing operating system under /mnt
copying '/gnu..glibc-2.19.locales'...
On Mon, 21 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Kernel in dmesg identifies the device like /dev/sdf, doing
mknod /dev/sdf b 8 80; mknod /dev/sdf1 b 8 81; mount /dev/sdf1 /mnt
solves the problem. So definitely the drive is at sdf. It looks to me
like there
Adam Pribyl pri...@lowlevel.cz skribis:
OK, solved. This was a bad idea to mount bind /mnt/gnu to /gnu, using
a directory with a different name on /mnt/ - finished the
installation.
I’m surprised that it works at all, because at this point /mnt/gnu/store
is basically empty, so if you
Adam Pribyl pri...@lowlevel.cz skribis:
On Mon, 21 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Kernel in dmesg identifies the device like /dev/sdf, doing
mknod /dev/sdf b 8 80; mknod /dev/sdf1 b 8 81; mount /dev/sdf1 /mnt
solves the problem. So definitely the
Adam Pribyl pri...@lowlevel.cz skribis:
deco stop udev
mount -t devtmpfs dev /dev
deco start udev
then /dev is correctly populated.
This patch apparently does the trick similarly:
diff --git a/gnu/services/base.scm b/gnu/services/base.scm
index ae12c8e..31f1b74 100644
---
Adam Pribyl pri...@lowlevel.cz skribis:
On Sat, 19 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Sorry, I was completely wrong, the new liveUSB has e2fsprogs,
however I probably do have the problem with ahci module too, and I
confused the old /dev/sda harddrive
l...@gnu.org (Ludovic Courtès) skribis:
as there is only 1GB of RAM and it seems the install fetches too much
packages into ramdisk. Why is it not using the target file system
already?
Hmm, it’s actually initially populating the local store, on the RAM
disk, right. I agree that’s a problem
Adam Pribyl pri...@lowlevel.cz skribis:
On Sat, 19 Jul 2014, Ludovic Courtès wrote:
[...]
The installation image’s root is mounted by label. So if you happen to
have a different partition with the label ‘gnu-disk-image’, then it may
end up mounting the wrong partition. That’s what’s
Adam Pribyl pri...@lowlevel.cz skribis:
Sorry, I was completely wrong, the new liveUSB has e2fsprogs,
however I probably do have the problem with ahci module too, and I
confused the old /dev/sda harddrive which is now missing, and
/dev/sda USB. So this is it. My HDD is not visible with the
On Sat, 19 Jul 2014, Ludovic Courtès wrote:
Adam Pribyl pri...@lowlevel.cz skribis:
Sorry, I was completely wrong, the new liveUSB has e2fsprogs,
however I probably do have the problem with ahci module too, and I
confused the old /dev/sda harddrive which is now missing, and
/dev/sda USB. So
I’ve uploaded a new USB installation image for x86_64 for testing:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140718.x86_64.xz
SHA1: ac944214af34d62b585fa089cd333c1e007be7f2
(105 MiB)
Use alt-f2 to see the relevant doc.
Feedback welcome!
Ludo’.
signature.asc
On Fri, 18 Jul 2014, Ludovic Courtès wrote:
I’ve uploaded a new USB installation image for x86_64 for testing:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140718.x86_64.xz
SHA1: ac944214af34d62b585fa089cd333c1e007be7f2
(105 MiB)
Use alt-f2 to see the relevant doc.
Feedback
Adam Pribyl pri...@lowlevel.cz writes:
Booted fine, but mounted my HDD install root /dev/sda1 as /real-root and I
can not unmount it or
find /real-root...
Try `mkdir /real-root` first?
--
David Thompson
Web Developer - Free Software Foundation - http://fsf.org
GPG Key: 0FF1D807
Support the
On Fri, 18 Jul 2014, Ludovic Courtès wrote:
I’ve uploaded a new USB installation image for x86_64 for testing:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140718.x86_64.xz
SHA1: ac944214af34d62b585fa089cd333c1e007be7f2
(105 MiB)
Use alt-f2 to see the relevant doc.
Feedback
On Fri, 18 Jul 2014, David Thompson wrote:
Adam Pribyl pri...@lowlevel.cz writes:
Booted fine, but mounted my HDD install root /dev/sda1 as /real-root and I
can not unmount it or
find /real-root...
Try `mkdir /real-root` first?
Making this directory on USB flash with guix root did not
On Mon, Jun 30, 2014 at 12:22:31AM +0200, Ludovic Court??s wrote:
3. Write an OS configuration file, say, config.scm (the image only has
GNU Zile as the editor.)
To make it accessible to refugees, can we not provide nano as well?
--
PGP Public key ID: 1024D/2DE827B3
Hello,
I finally got my hands on a 64bit machine and was able to try out the
installation image.
It worked smoothly up until network configuration (different hardware) —
it was pretty exciting whilst it lasted :-)
Now holding out hope for David's i686 installation image report in order
to build
David Thompson dthomps...@worcester.edu skribis:
David Thompson dthomps...@worcester.edu writes:
It boots! :)
Well, on my desktop computer it boots. It kernel panics on my Thinkpad
x220. linux-initrd.scm:122 throws the error In procedure bv-u16-ref:
Wrong type argument in position 1.
David Thompson dthomps...@worcester.edu skribis:
Ludovic Courtès l...@gnu.org writes:
[...]
To install the system, you would:
1. Configure the network, by running ‘dhclient eth0’ for instance.
Normally udev automatically loads device drivers (e.g., my laptop
uses e1000e for
Ludovic Courtès l...@gnu.org writes:
David Thompson dthomps...@worcester.edu skribis:
David Thompson dthomps...@worcester.edu writes:
It boots! :)
Well, on my desktop computer it boots. It kernel panics on my Thinkpad
x220. linux-initrd.scm:122 throws the error In procedure bv-u16-ref:
Ludovic Courtès l...@gnu.org writes:
I’m sorry I don’t have a better answer at the moment, but could you try
rebuilding the image with this patch?
It works! Thanks!
--
David Thompson
Web Developer - Free Software Foundation - http://fsf.org
GPG Key: 0FF1D807
Support the FSF:
Ludovic Courtès l...@gnu.org writes:
Hello!
I’ve uploaded a USB installation image for x86_64 for testing:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140629.x86_64.xz
SHA1: d36e70d25b81b734fa9558a5446fabb96489ec3b
(100 MiB)
It works like this:
1. Run ‘xz -d
Hello!
I’ve uploaded a USB installation image for x86_64 for testing:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140629.x86_64.xz
SHA1: d36e70d25b81b734fa9558a5446fabb96489ec3b
(100 MiB)
It works like this:
1. Run ‘xz -d gnu-usb-install-20140629.x86_64.xz’.
2. Copy
Hello!
There’s been some progress towards having an image for installing the
GNU system from a USB stick. Here’s a summary of the things recently
introduced toward that goal:
• ‘guix system disk-image FILE’ generates a raw disk image of the
operating system declared in FILE (info (guix)
36 matches
Mail list logo