Hstr 1.25

Четверг, 10 мая 2018 г.

Следите за нами в ВКонтакте, Facebook'e и Twitter'e

HSTR — консольная утилита с curses-интерфейсом для интерактивного поиска команд в истории оболочки.

Помимо интерактивности HSTR отличают от Ctrl-R также:

три варианта поиска: совпадение подстроки, регулярное выражение или поиск ключевых слов (строка считается совпадающей, если она включает в себя все указанные ключевые слова);
опциональный учёт регистра в шаблоне;
наличие списка избранных команд;
возможность удаления элементов из истории;
альтернативное ранжирование команд, учитывающее их длину в дополнении к позиции в истории.

Изменения в данной версии:

новая опция командной строки --kill-last-command, удаляющая последнюю команду из истории;
добавлена опция конфигурации verbose-kill, которая контролирует вывод на экран команды, удалённой с помощью --kill-last-command;
новое сочетание Ctrl-X k для оболочки, которое вызывает --kill-last-command;
смена режима по умолчанию на совпадение по ключевым словам;
отсутствие задержки после нажатия Esc;
ускорение загрузки истории команд;
исправления подсветки текущего элемента списка, поведения Ctrl-R для поля ввода внизу экрана, обновления списка при изменении размеров окна, перемещение курсора ввода за пределы поля ввода, падения при удалении единственного элемента списка.

Альтернативное название — hh. Пакет в дистрибутивах может называться одним из двух вариантов.

>>> Ссылки для загрузки

>>> Страница проекта

Следите за нами в ВКонтакте, Facebook'e и Twitter'e


Просмотров: 257
Рубрика: Hi-Tech
(CY)

Архив новостей / Экспорт новостей

Ещё новости по теме:

RosInvest.Com не несет ответственности за опубликованные материалы и комментарии пользователей. Возрастной цензор 16+.

Ответственность за высказанные, размещённую информацию и оценки, в рамках проекта RosInvest.Com, лежит полностью на лицах опубликовавших эти материалы. Использование материалов, допускается со ссылкой на сайт RosInvest.Com.

Skype: rosinvest.com (Русский, English, Zhōng wén).

Архивы новостей за: 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003

Январь 2005: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Rating@Mail.ru