Увеличьте длину истории реверсивного поиска

Вы ищете texlive-latex3. Я нашел это, установив apt-файл и используя его так:

apt-file update
apt-file search breqn.sty
texlive-latex3: /usr/share/texmf-texlive/tex/latex/mh/breqn.sty

Который дает мне имя пакета и файл.

Как выяснить, какой пакет что-то не прибегает к Google?
1
задан 14 February 2018 в 13:26

8 ответов

Размер истории задается двумя переменными HISTSIZE (история сеанса одного терминала, сохраненная в ОЗУ) и HISTFILESIZE (размер файла истории, обычно ~/.bash_history). Этот размер задается в количестве строк в вашем файле ~/.bashrc, например:

HISTSIZE=1000
HISTFILESIZE=10000

Это сохраняет 1000 строк (= команд) на сеанс терминала и 10000 в файле истории.

2] Поиск в обратном порядке ищет историю текущего сеанса, а также файл истории, но он не может включать команды из других сеансов, которые все еще открыты.

Дальнейшее чтение: [!d3 ] Как изменить размер истории навсегда? Как выполнить поиск в истории командной строки для команд, которые я использовал ранее? Как получить доступ к моей истории Bash?

1
ответ дан 22 May 2018 в 13:06
  • 1
    Спасибо, это решает проблему, и у вас был первый ответ. – Juha Untinen 14 February 2018 в 13:50

Размер истории задается двумя переменными HISTSIZE (история сеанса одного терминала, сохраненная в ОЗУ) и HISTFILESIZE (размер файла истории, обычно ~/.bash_history). Этот размер задается в количестве строк в вашем файле ~/.bashrc, например:

HISTSIZE=1000 HISTFILESIZE=10000

Это сохраняет 1000 строк (= команд) на сеанс терминала и 10000 в файле истории.

Поиск в обратном порядке ищет историю текущего сеанса, а также файл истории, но он не может включать команды из других сеансов, которые все еще открыты.

Дальнейшее чтение:

Как изменить размер истории навсегда? Как выполнить поиск в истории командной строки для команд, которые я использовал ранее? Как получить доступ к моей истории Bash?
1
ответ дан 17 July 2018 в 20:51

Нет ограничения по времени, но это ограничение по строкам или размерам в истории командной строки.

Вы можете изменить это в своем ~/.bashrc

export HISTSIZE=500000
export HISTFILESIZE=500000

. Это означает «память» из 500 000 строк в вашей истории, и в настоящее время (HISTSIZE), и записана в ваш файл истории (HISTFILESIZE).

Однако имейте в виду, что файл написан только тогда, когда вы время терминал.

Вы можете reverse-i-search выполнять свои команды в одном и том же терминале, прежде чем история будет записана в файл истории, но не сможет найти ваши команды в каких-либо новых терминалах, прежде чем вы не выйдете из оригинала! [!d8 ]

2
ответ дан 22 May 2018 в 13:06
  • 1
    the file is only written when you exit a terminal. Ах, я думаю, это объясняет это. Обычно я оставляю его «работающим». с операционной системой хоста (virtualbox) в спящем режиме. В моем .bashrc из некоторого шаблона команды был HISTSIZE = 1000 и HISTFILESIZE = 2000. – Juha Untinen 14 February 2018 в 13:48
  • 2
    history -a пишет его «по запросу», если вам это нужно – Robert Riedl 14 February 2018 в 13:51
  • 3
    Существует также хакерское решение для записи истории сразу с PROMPT_COMMAND="history -a" в .bashrc, описанном здесь здесь . Хотя я не уверен, что могу рекомендовать, что ... я бы рекомендовал установить HISTTIMEFORMAT как export HISTTIMEFORMAT='[%Y.%m.%d %H:%M:%S] ', так что вы увидите ровно , когда вы выполнили команду – Robert Riedl 14 February 2018 в 13:56

Это очень просто, просто измените переменные HISTSIZE и HISTFILESIZE в вас .bashrc

HISTSIZE=-1
HISTFILESIZE=-1

В bash 4.3 и более поздних версиях вы также можете использовать HISTSIZE = -1 HISTFILESIZE = -

Учесть, что HISTSIZE - количество строк или команд, хранящихся в памяти в списке истории, в то время как ваш сеанс bash продолжается.

HISTFILESIZE - количество строк или команд, которые (а) разрешены в файле истории во время запуска сеанса, и (b) хранятся в файле истории в конце вашего сеанса bash для использования в будущих сеансах.

Взгляните на эту ссылку

С уважением,

2
ответ дан 22 May 2018 в 13:06

Это очень просто, просто измените переменные HISTSIZE и HISTFILESIZE в вас .bashrc

HISTSIZE=-1 HISTFILESIZE=-1

В bash 4.3 и более поздних версиях вы также можете использовать HISTSIZE = -1 HISTFILESIZE = -

Учесть, что HISTSIZE - количество строк или команд, хранящихся в памяти в списке истории, в то время как ваш сеанс bash продолжается.

HISTFILESIZE - количество строк или команд, которые (а) разрешены в файле истории во время запуска сеанса, и (b) хранятся в файле истории в конце вашего сеанса bash для использования в будущих сеансах.

Взгляните на эту ссылку

С уважением,

2
ответ дан 17 July 2018 в 20:51

Нет ограничения по времени, но это ограничение по строкам или размерам в истории командной строки.

Вы можете изменить это в своем ~/.bashrc

export HISTSIZE=500000 export HISTFILESIZE=500000

. Это означает «память» из 500 000 строк в вашей истории, и в настоящее время (HISTSIZE), и записана в ваш файл истории (HISTFILESIZE).

Однако имейте в виду, что файл написан только тогда, когда вы время терминал.

Вы можете reverse-i-search выполнять свои команды в одном и том же терминале, прежде чем история будет записана в файл истории, но не сможет найти ваши команды в каких-либо новых терминалах, прежде чем вы не выйдете из оригинала!

2
ответ дан 17 July 2018 в 20:51

Это очень просто, просто измените переменные HISTSIZE и HISTFILESIZE в вас .bashrc

HISTSIZE=-1 HISTFILESIZE=-1

В bash 4.3 и более поздних версиях вы также можете использовать HISTSIZE = -1 HISTFILESIZE = -

Учесть, что HISTSIZE - количество строк или команд, хранящихся в памяти в списке истории, в то время как ваш сеанс bash продолжается.

HISTFILESIZE - количество строк или команд, которые (а) разрешены в файле истории во время запуска сеанса, и (b) хранятся в файле истории в конце вашего сеанса bash для использования в будущих сеансах.

Взгляните на эту ссылку

С уважением,

2
ответ дан 23 July 2018 в 21:31

Нет ограничения по времени, но это ограничение по строкам или размерам в истории командной строки.

Вы можете изменить это в своем ~/.bashrc

export HISTSIZE=500000 export HISTFILESIZE=500000

. Это означает «память» из 500 000 строк в вашей истории, и в настоящее время (HISTSIZE), и записана в ваш файл истории (HISTFILESIZE).

Однако имейте в виду, что файл написан только тогда, когда вы время терминал.

Вы можете reverse-i-search выполнять свои команды в одном и том же терминале, прежде чем история будет записана в файл истории, но не сможет найти ваши команды в каких-либо новых терминалах, прежде чем вы не выйдете из оригинала!

2
ответ дан 23 July 2018 в 21:31
  • 1
    the file is only written when you exit a terminal. Ах, я думаю, это объясняет это. Обычно я оставляю его «работающим». с операционной системой хоста (virtualbox) в спящем режиме. В моем .bashrc из некоторого шаблона команды был HISTSIZE = 1000 и HISTFILESIZE = 2000. – Juha Untinen 14 February 2018 в 13:48
  • 2
    history -a пишет его «по запросу», если вам это нужно – Robert Riedl 14 February 2018 в 13:51
  • 3
    Существует также хакерское решение для записи истории сразу с PROMPT_COMMAND="history -a" в .bashrc, описанном здесь здесь . Хотя я не уверен, что могу рекомендовать, что ... я бы рекомендовал установить HISTTIMEFORMAT как export HISTTIMEFORMAT='[%Y.%m.%d %H:%M:%S] ', так что вы увидите ровно , когда вы выполнили команду – Robert Riedl 14 February 2018 в 13:56

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

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