mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 04:31:23 +00:00
cd244c2077
When buiding the sculpt image, the sculpt.run script used to integrate the current version of the index of the 'depot_user' into the boot image. At runtime, when the Sculpt partition is selected for "use" this index - along with the 'pubkey' and 'download' files of the known depot users - is written to the Sculpt partition. This has the undesirable effect that a later version of the index (published some time after the sculpt image was created) would always be overwritten by the outdated index shipped with the boot image. The built-in default index was actually a stop-gap solution needed during the development of Sculpt CE, introduced when the downloading of index files was not yet supported. Now, with the working download mechanism, it is no longer needed. Hence, this patch removes the default index from the sculpt image.