Если вы используете bash, история для текущего пользователя находится в файле ~/.bash_history
, в случае zsh это ~/.zsh_history
.
Теперь вы можете использовать простую команду grep -cw man ~/.bash_history
, чтобы получить количество строк, содержащих слово man
.
Обратите внимание, что если команда использовалась несколько раз в строке, она появляется только один раз в файлах истории.
grep
предназначен для печати сопоставления и печати данных из файла. Для замены данных естьsed
:
sed 's|[0-9]\..*$|4.6 2.6 2.6 !|g' file
Это заменяет все числа в самом конце каждой строки на 4.6 2.6 2.6 !
независимо от того, что они собой представляют и сколько их.
Для редактирования файла на месте:
sed -i 's|[0-9]\..*$|4.6 2.6 2.6 !|g' file
Выход:
assign ( resid 105 and name CB ) ( resid 105 and name CA ) 4.6 2.6 2.6 !
assign ( resid 44 and name CB ) ( resid 44 and name CA ) 4.6 2.6 2.6 !