Сценарий ниже разбивает имя файла, указанное в командной строке, в файлы, когда определенное число символов > было замечено в начале строки. Количество отображаемых символов также указывается в командной строке. Таким образом, синтаксис выглядит следующим образом:
$ ./split_file.py input.txt 3
#!/usr/bin/env python
import sys
def write_split_file(count,orig_name,lines):
split_name = orig_name + '.split.' + str(count)
with open(split_name,'w') as fd:
fd.write("\n".join(lines))
def main():
counter = 0
limit = int(sys.argv[2])
line_list = []
with open(sys.argv[1]) as fd1:
for line in fd1:
line_list.append(line.strip())
if line.startswith('>'):
counter+=1
if counter % limit == 0:
write_split_file(counter,sys.argv[1],line_list)
line_list = []
if line_list:
write_split_file(counter,sys.argv[1],line_list)
if __name__ == '__main__': main()
Примечание: скрипт написан для Python 2, но совместим с Python 3. Может быть легко изменен для разделения на основе исходной строки переменных.
На ваш вопрос два ответа, потому что Gnome Files имеет две секции на боковой панели Files:
В верхнем разделе перечислены некоторые из стандартных папок, таких как «Главная», «Документы», «Загрузки» и т. д. Этот раздел управляется с помощью инструмента под названием xdg-user-dirs и связанного файла конфигурации, расположенного в $HOME/.config/user-dirs.dirs. Насколько мне известно, вы можете только редактировать (показывать / скрывать) только эти папки по умолчанию. Более подробная информация о xdg-user-dirs доступна здесь. Нижняя часть в Gnome Files - это список закладок. Это, вероятно, больше того, что вы хотите, поскольку вы можете добавлять местоположения в этот список, постоянно добавляя их в закладки. Например, у меня есть закладки для некоторых из наиболее используемых сетевых ресурсов и локальных папок. Чтобы управлять своими закладками, просмотрите это видео на YouTube.На ваш вопрос два ответа, потому что Gnome Files имеет две секции на боковой панели Files:
В верхнем разделе перечислены некоторые из стандартных папок, таких как «Главная», «Документы», «Загрузки» и т. д. Этот раздел управляется с помощью инструмента под названием xdg-user-dirs и связанного файла конфигурации, расположенного в $HOME/.config/user-dirs.dirs. Насколько мне известно, вы можете только редактировать (показывать / скрывать) только эти папки по умолчанию. Более подробная информация о xdg-user-dirs доступна здесь. Нижняя часть в Gnome Files - это список закладок. Это, вероятно, больше того, что вы хотите, поскольку вы можете добавлять местоположения в этот список, постоянно добавляя их в закладки. Например, у меня есть закладки для некоторых из наиболее используемых сетевых ресурсов и локальных папок. Чтобы управлять своими закладками, просмотрите это видео на YouTube.