When I start download_debian, nothing happens. Is anyone else experiencing this?
How can I manually use my own .iso?
Joel Desermeau via users wrote:
When I start download_debian, nothing happens. Is anyone else experiencing this?
Yes, I hit the same problem too. There is a problem in a bugtracker, [1], which can be fixed by removing a superfluous pthread.lib.so ROM module from /<your_genode_file_system>/depot/cnuke/pkg/download_debian/19.02-p1/runtime (Though, you should better try updating the index file from cnuke's depot by toggling it in "+"->"Depot"->"Selection" menu twice, and re-downloading the package, because this problem seems to be fixed by cnuke already).
The problem is that the package "pthread" is now missing (because it's currently merged with "libc"), so the "download_debian" package is incomplete (it depends on non-existing package). So, the package is incomplete, but no error is reported by "update", and Sculpt manager doesn't present a configuration dialog for incomplete packages, so the program is not started.
How can I manually use my own .iso?
You can manually put VBox config (*.vbox), an empty *.vdi file and the installation ISO image to the /vm/debian subdirectory on your Genode partition, and call the ISO image "installer.iso". You can create the disk image and VBox config file with your VBox installation in Linux/Windows/another OS and then copy it to your Genode partition.
[1] "sculpt ce: installed package can stay in "installing" state in menu forever #3241": https://github.com/genodelabs/genode/issues/3241#issuecomment-475180636
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Hello Joel,
When I start download_debian, nothing happens. Is anyone else experiencing this?
Please make sure that you use the current version, i.e. 19.03-p3. That being said, sometimes fetchurl gets stuck (total and now stay at '0.0'). It may help to start the 'download_debian' subsystem multiple times or to wait long enough (it might take a few minutes for the retry timeout to trigger). This is a regression within the current CE release and we will address the issue soon.
How can I manually use my own .iso?
One way would be to put the .iso on another Ext2 or FAT32 formatted USB stick and to use 'Inspect' in the leitzentrale to copy the file over.
Regards Josef
Please make sure that you use the current version, i.e. 19.03-p3.
Sorry, make that '19.03-p1'.
Josef Söntgen josef.soentgen@genode-labs.com writes:
Please make sure that you use the current version, i.e. 19.03-p3. That
I think Josef made a mistake in version number. Currently there is version 19.03-p1 available from his depot.
Anyway you should ensure that you don't try to use 19.02-p2. If you do then you should redownload index file which I think can be done by disabling and enabling depot again.
Tomasz Gajewski
-
Joel Desermeau -
Josef Söntgen -
Tomasz Gajewski -
Valery V. Sedletski