[EMAIL PROTECTED] (2001-05-20 at 1535.17 +0200):
Am I to understand that there is no recorded instance of this
discussion? Well, let's start now, then, so that next time we can
point to the mailing list archives.
You can request IRC / mail logs, maybe someone has them.
First of all a
[EMAIL PROTECTED] (2001-05-20 at 1636.07 +0200):
It turns out we need a plug-in manager. What functionality should
such a beast have? Here's a list of things that came to my mind:
[...]
It should be able to download and install precompiled binary
packages or download sources, compile and
Hi,
Guillermo S. Romero / Familia Romero [EMAIL PROTECTED] writes:
I would make a basic plugin handler so users can remove / add them to
menus, if installed, and let the real task of getting the plugin to
user / pkg system / whatever. If you use a pkg system, it can do it
for you better
Sven Neumann wrote:
Hi,
Guillermo S. Romero / Familia Romero [EMAIL PROTECTED] writes:
So I would split the system more at source level, so you get x groups
and build install them (or make distro pkgs then install) following
an order, like you can do with GNOME, ie. ATM I already use