Пойди туда, не знаю куда, или задача поиска


Если вы входили внутрь каталогов /usr/bin или /usr/share, то вы видели, как много там файлов. Большое количество каталогов, подкаталогов и файлов создаёт определенную трудность: вы можете знать, что файл точно есть в файловой системе, но не знать, где именно он расположен. Пролистывать каталоги вручную для того, чтобы отыскать нужный файл, можно, но это такая растрата времени и сил, что куда целесообразней воспользоваться механизмом поиска, который предлагает файловый менеджер.

У меня возникла идея найти файл. Название его я помню не совсем точно: то ли ksat, то ли ksam, то ли ksarно когда-то эта игра мне понравилась.

В файловом менеджере, в пункте меню Сервис, я выбираю команду По­иск файла… (также можно было нажать сочетание клавиш Ctrl+F). На экран выводится окно поиска файлов.

В строку Название я ввёл только первые три буквы, в которых я точно уверен, а затем поставил звёздочку как указание, что далее буквы могут быть любыми. В строку Искать в: я ввёл адрес каталога /usr, потому что знаю, что игра может быть только там, но не знаю, где именно. Я установил флажок Включая подпапки для того, чтобы поиск происходил не только в самой папке  /usr, но и во всех папках, которые в ней находятся. Наконец, я щёлкнул на кнопке Поиск в правой стороне окна (на рисунке её не видно, но в окне она есть). Поиск может длиться довольно долго, минуты две-три, поскольку файлов в системе очень много, да и объёмы диска большие. В моём случае через две минуты в окне уже появился ряд файлов, среди которых я с большим удовольствием увидел искомый (в списке обведён чёрной рамкой). Двойной щелчок на этом файле запустил игру.

При внимательном рассмотрении окна поиска можно увидеть две вкладки: Содержимое и Свойства. Используя эти вкладки, можно производить поиск не только по имени файла, но и по содержащемуся в нём тексту, или находить все файлы, принадлежащие одному пользователю, или же все файлы определён­ного размера или датированные одним числом. Инструмент поиска файлов вам, безусловно, пригодится неоднократно. Он является серьёзным подспорьем при работе с информацией. Учёным давно известно, что мозг человека запоминает абсолютно всё, и когда мы что-то забываем, то это значит, что мы не можем найти эту информацию среди завалов другой информации. Как жаль, что у нас в голове нет подобного инструмента поиска!

Оставить комментарий

*

*

code

Реклама