On 2008-05-15 10:45:57 +0200, Thijs Kinkhorst wrote: > You reported a bug about apt-file needing a progress indicator when > downloading release files. Of course there are also people requesting that > apt-file be silent except in case of errors :-)
Well, apt-get uses a progress indicator by default. So, it would be logical that apt-file does the same. > The apt-file.conf allows to change the options with which curl and > wget are called, so you can there easily change it to display a > progress indicator if you want to. Would that be sufficient for your > needs? Changing conf files provided by packages makes upgrade a bit difficult (unless a merge feature has been implemented). Could there be a local conf file so that the user can make local changes? For instance, /etc/apt/apt-file.conf could contain: curl_cmd = curl -f -L -z "<cache>/<dest>" -R -o "<cache>/<dest>_tmp" $curl_options and the user could set curl_options in the local conf file for additional options. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
