есть ли способ инвертировать игнорирование истории _в zsh?

Согласно @ mick8985 из статьи ubuntuforums.org Файлы конфигурации gnome можно поместить в папку с именем /etc/skel, любой новый пользователь, которого вы создадите, будет иметь эти файлы в домашней папке. Убедитесь, что настроенная вами установленная тема доступна в /usr/share/themes, а тема значков — в /usr/share/icons

.

2
23.07.2020, 02:41
1 ответ

HISTORY_IGNORE интерпретируется как подстановочный шаблон zsh, поэтому, если вы установите параметр extendedglob, вы можете определить

HISTORY_IGNORE='^recordthis*'

Чтобы zshне сохранял записи, не начинающиеся с recordthis, в $HISTFILE.

^— оператор отрицания глобуса. См. также ~, кроме(или и -не ), оператор (также требуетextendedglob):

HISTORY_IGNORE='*~recordthis*'

(игнорировать все,(*)кроме строк, начинающихся сrecordthis).

3
18.03.2021, 23:17

Теги

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