Package: apt-file Version: 2.0.8.2 Tags: patch Hi:
The fix is just changing the name _apt-file to _apt_file, in same style than other bash_completions ones like _apt_get function. You can verify by checking the definition of name in bash man page (only alphanumeric and _, numbers not allowed as first char). I had a similar problem while testing bug #467231 and Andrei pointed the solution. I was going to fill the report but it seems you did first. GSR -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
