Quoting Helge Kreutzmann ([EMAIL PROTECTED]): > Please reconsider if your install time question is necessary. I don't > know proof general (this issue arose during the German debconf > translation of your template) so if proof general is indeed special, > then simply close this bug (preferably with a brief explanation). > Remember that Debian is used at large sites as well, where > "dispensable" install time questions can be a real hassle.
The question is asked at medium priority, so on default systems it won't be asked (and proofgeenral will be auto-loaded). I usually fight against useless debconf templates enough but that one didn't really ring a bell in my head. I find it pretty legitimate. One should remember that this question will be asked only for people who explicitely choose to install proofgeneral. So, they're pretty likely to not really worry about one extra question about something they choose to install. The fact that other packages that can be activated either for all users or for specific users only do not offer such choice is not really important: after all, one could also wonder why these packages do not prompt their users for general activation, in an attempt to improve usability.
signature.asc
Description: Digital signature
