Перейти на более раннюю версию Gedit в Fedora 23
Если предположить, что под «вытащить» вы подразумеваете «печать», то, вероятно, самый простой способ:
sed -n '/\\begin{Prob}/,/\\end{Prob}/p' myfile
2
Community
13.04.2017, 15:22
Ссылка
0 ответов