grep заботится о расширении .dat?
Поскольку вы хотите сохранить по одному дубликату каждого из них, самым простым решением, вероятно, будет просто использовать текстовый редактор для удаления строк каждого из этих файлов, которые больше нет верной информации.
1
Mike Dannyboy
25.04.2017, 19:39
Ссылка
1 ответ
Это ненормальное поведение, и я не могу воспроизвести проблему на своих машинах Ubuntu или Centos.
Весьма вероятно, что GREP_OPTIONS настроено в вашем bashrc (или bash_profile, профиле и т. д.) для игнорирования *.dat.
Чтобы убедиться в этом, просто напечатайте переменную env:
echo $GREP_OPTIONS
Где-то в выводе вы должны увидеть -exclude=*.dat
РЕДАКТИРОВАТЬ: Как предложил Фокс в комментариях, это также может быть псевдонимом , то команда -v grep должна показать -exclude=*.dat где-то в выводе
4
Bruno9779
27.01.2020, 23:19
Ссылка