diff options
author | 2009-07-28 17:41:08 -0400 | |
---|---|---|
committer | 2009-07-28 17:41:08 -0400 | |
commit | 42bda2c6130984f9350b099c9ef808ab4155e5bf (patch) | |
tree | 98665d92edd85e47588d51765906fa711283104f /frontend/modules/gentoo/step2.php | |
parent | Made package selector, pkglist more efficient by filtering out package metada... (diff) | |
download | ingenue-42bda2c6130984f9350b099c9ef808ab4155e5bf.tar.gz ingenue-42bda2c6130984f9350b099c9ef808ab4155e5bf.tar.bz2 ingenue-42bda2c6130984f9350b099c9ef808ab4155e5bf.zip |
Add package and init script pruning to frontend
Diffstat (limited to 'frontend/modules/gentoo/step2.php')
-rw-r--r-- | frontend/modules/gentoo/step2.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/modules/gentoo/step2.php b/frontend/modules/gentoo/step2.php index 2c9f769..8eed939 100644 --- a/frontend/modules/gentoo/step2.php +++ b/frontend/modules/gentoo/step2.php @@ -1,7 +1,8 @@ <?php -$this->checkbox_array('options', 'options', 'Configuration options', array('timezone' => 'Select timezone', 'dev-manager' => 'Select /dev manager')); -$profile=new sql_gentoo_profile($this->get_opt('profile')); global $S; +$profile=new sql_gentoo_profile($this->get_opt('profile')); +$this->checkbox_array('options', 'options', 'Configuration options', array('timezone' => 'Select timezone', 'dev-manager' => 'Select /dev manager', 'pruneinit' => 'Remove enabled-by-default init scripts')); +$this->select('basesystem', 'basesystem', 'Base system', array('stage3' => 'Stage3 Tarball', 'autoprune' => 'Remove all non-vital packages', 'manual' => 'Manually select packages to remove from stage3')); $pkgsets=array(); $r=$S['pdo']->query('SELECT * FROM `gentoo_pkgsets` WHERE `profile`='.$profile->id); while ($pkgset=$r->fetch(PDO::FETCH_ASSOC)) { |