No strong opinions here, but I actually prefer Pietro Abate's suggestion -- add a new option '--exclude-files'' that takes a regexp of files to ignore. As far as I can tell, this has the full functionality of ignored_file -- just add ``ALL exclude_-files ...'' to your prefs file. Juliusz