Введя команду chgrp -R homeperms /home
, вы фактически изменили групповое владение /home
и всем, что находится под ним, на homeperms.
НО, группа по-прежнему не имеет прав на запись в каталог. По вашему результату:
drwxr-xr-x 12 vanveenjorik homeperms 4096 Jul 6 09:06 home
Помните, права доступа к файлам отображаются как :ВЛАДЕЛЕЦ, ГРУППА, ВСЕ ОСТАЛЬНЫЕ
Вы можете быстро исправить это одним из следующих:
# retaining (rewriting) your existing permissions + toggling the WRITE-ACCESS bit for GROUP
chmod 776 /home
# similar, accomplished the same but simplified
chmod g+w /home
Я бы использовал awk
следующим образом:
awk 'FNR==1{ close(ofname); ofname="output_"FILENAME }
/^SEVERE/{ print >ofname }' infile*