RedHat / CentOS 7.1: изменить имена рабочих пространств Gnome
Использование csplit
csplit -z somefile /ABC/ '{*}'
Выходные файлы будут xx00 , xx01 , ...по умолчанию, но вы можете изменить формат и нумерацию, если хотите - см. man csplit
4
Nico Mittenzwey
24.11.2015, 18:26
Ссылка
0 ответов