Hi, > So, I know my example is not a patch. It should works while apt-file > doesn't recognise this option.
I'm not sure we should be adding this. What use cases are there for this? If you want to reinstate a lost file, couldn't you better do 'apt-get install --reinstall package'? Thijs -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

