Re: boot the Hurd with Guix

2017-12-01 Thread Vincent Legoll
Sorry, the  mail was sent too early

>> Well, using sparse files can work as well: create the image with
>>
>> dd if=/dev/zero of=file.img bs=1M count=1 seek=1000
>
> Or you can use truncate from gnu coreutils:

$ truncate -s 1G file.img
$ du -sh file.img
0file.img
$ ls -lh file.img
-rw--- 1 vince vince 1,0G déc.  1 19:43 file.img

-- 
Vincent Legoll



Re: boot the Hurd with Guix

2017-12-01 Thread Vincent Legoll
On Fri, Dec 1, 2017 at 5:16 PM, Samuel Thibault  wrote:
> Hello,
>
> Congrats on the achievement :D
>
> Ludovic Courtès, on ven. 01 déc. 2017 14:17:48 +0100, wrote:
>> Also, in GRUB, you currently load ext2fs.static and exec explicitly.
>
> That's the normal way, yes. exec does the rest (including running
> startup).
>
>> BTW, the image you posted is in “raw” format.  You would get a smaller
>> file by using the qcow2 format, which you can create with “qemu-img
>> create -f qcow2”.
>
> Well, using sparse files can work as well: create the image with
>
> dd if=/dev/zero of=file.img bs=1M count=1 seek=1000

Or you can use truncate from gnu coreutils:

$ du -sh file.img
0file.img
vince@dell:~$ ls -l file.img
-rw--- 1 vince vince 1073741824 déc.  1 19:43 file.img
vince@dell:~$ ls -lh file.img
-rw--- 1 vince vince 1,0G déc.  1 19:43 file.img


-- 
Vincent Legoll