Ubuntu Gnome 17.04 настроить файл-проводник

Подход Python

Сценарий ниже разбивает имя файла, указанное в командной строке, в файлы, когда определенное число символов > было замечено в начале строки. Количество отображаемых символов также указывается в командной строке. Таким образом, синтаксис выглядит следующим образом:

$ ./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. Может быть легко изменен для разделения на основе исходной строки переменных.

0
задан 30 August 2017 в 16:40

2 ответа

На ваш вопрос два ответа, потому что Gnome Files имеет две секции на боковой панели Files:

В верхнем разделе перечислены некоторые из стандартных папок, таких как «Главная», «Документы», «Загрузки» и т. д. Этот раздел управляется с помощью инструмента под названием xdg-user-dirs и связанного файла конфигурации, расположенного в $HOME/.config/user-dirs.dirs. Насколько мне известно, вы можете только редактировать (показывать / скрывать) только эти папки по умолчанию. Более подробная информация о xdg-user-dirs доступна здесь. Нижняя часть в Gnome Files - это список закладок. Это, вероятно, больше того, что вы хотите, поскольку вы можете добавлять местоположения в этот список, постоянно добавляя их в закладки. Например, у меня есть закладки для некоторых из наиболее используемых сетевых ресурсов и локальных папок. Чтобы управлять своими закладками, просмотрите это видео на YouTube.
0
ответ дан 18 July 2018 в 07:41

На ваш вопрос два ответа, потому что Gnome Files имеет две секции на боковой панели Files:

В верхнем разделе перечислены некоторые из стандартных папок, таких как «Главная», «Документы», «Загрузки» и т. д. Этот раздел управляется с помощью инструмента под названием xdg-user-dirs и связанного файла конфигурации, расположенного в $HOME/.config/user-dirs.dirs. Насколько мне известно, вы можете только редактировать (показывать / скрывать) только эти папки по умолчанию. Более подробная информация о xdg-user-dirs доступна здесь. Нижняя часть в Gnome Files - это список закладок. Это, вероятно, больше того, что вы хотите, поскольку вы можете добавлять местоположения в этот список, постоянно добавляя их в закладки. Например, у меня есть закладки для некоторых из наиболее используемых сетевых ресурсов и локальных папок. Чтобы управлять своими закладками, просмотрите это видео на YouTube.
0
ответ дан 24 July 2018 в 18:51

Другие вопросы по тегам:

Похожие вопросы: