Для работы команды файл file используется файл /usr/share/misc/magic.mgc (или здесь /usr/share/file/magic.mgc). Я использую ОС собранную с помощью buildroot для микроконтроллера AVR32. Вопрос: можно ли без последствий удалить файл magic.mgc, если я и мои приложения не используют команду file? Используется ли file когда-либо самой ОС? Я попробовал это сделать: удаление не повлияло на работоспособность ОС. Хотелось узнать нет, ли каких-либо подводных камней при этом.
P.S. Файл занимает 1,7Мб при том, что вся ОС вместе с ним занимает 5,9Мб. Хотелось освободить драгоценное место на флешке весьма ограниченного объема (8Мб).