Команды для терминала DSH
dsh plugin --profile web add dsh-frecencyЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Резидентный индекс grep для DeepSeek Harness, который затеняет встроенные инструменты grep/glob под теми же именами: повторяющиеся поиски контента достигают индекса в памяти, ранжированного по частоте доступа/изменения, а glob обслуживает встроенную семантику ripgrep, если она доступна, в противном случае возвращаясь к индексу.
dsh plugin --profile web add dsh-frecencyЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Резидентный индекс grep для DeepSeek Harness, который затеняет встроенные инструменты grep/glob под теми же именами: повторяющиеся поиски контента достигают индекса в памяти, ранжированного по частоте доступа/изменения, а glob обслуживает встроенную семантику ripgrep, если она доступна, в противном случае возвращаясь к индексу.
Resident-index grep for DeepSeek Harness that shadows the built-in grep/glob tools under the same names: repeated content searches hit an in-memory index ranked by access/modification frecency, and glob serves the built-in ripgrep semantics when available, falling back to the index otherwise.
dsh plugin --profile web remove dsh-frecencyПлагины выполняются в окружении пользователя DSH. Рекомендуется проверять исходный код, зависимости и запрашиваемые разрешения в репозитории автора перед установкой.