Вы можете проверить некоторые из Вопросов на Stackoverflow.com (сайт, основанный на том же движке, что и этот). Вот ссылка на теги драйвера linux.
Ссылка , похоже, содержит некоторые ссылки на некоторые учебные пособия, которые могут вам помочь.
Используя bash, вы можете использовать шаблон
/path/to/files/!(*.avi)
для представления всех файлов, отличных от файлов AVI.