diff options
Diffstat (limited to 'gentoo_setup.php')
| -rw-r--r-- | gentoo_setup.php | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gentoo_setup.php b/gentoo_setup.php index 47cae96..657aa91 100644 --- a/gentoo_setup.php +++ b/gentoo_setup.php @@ -11,4 +11,14 @@ foreach (get_pkgdirs() as $dir) { $profile->read_pkgsets(); echo "done\n"; } +foreach (explode("\n", trim(file_get_contents(CACHE.'/stage3/map'))) as $line) { + list($profile, $file)=explode(' ', $line); + if (!is_numeric($profile)) continue; + $profile=new sql_gentoo_profile($profile); + $profile->stage3=$file; + $profile->write(); + echo "Loading $profile->pkgdir stage3 data from $file..."; + $profile->read_stage3(); + echo "done\n"; +} ?> |