Что: dcdb7d6fa3b547007ccface93f3cb54dea41333f
Когда: 2020-10-02 11:35:06+03:00
Темы: tip zsh
Хак с игнорированием истории в zsh В f439e4aa623841393563cba5fbcbec9052a2d7d3 писал про HISTORY_IGNORE, но увидел в одном месте ещё один хак: alias foo=" foo", чтобы игнорировать foo команду (если включён HIST_IGNORE_SPACE). Приятно оно тем, что не нужно модифицировать единственную, влияющую на все игнорирования, HISTORY_IGNORE переменную. Но я всё же за подход без лишнего alias.
Сгенерирован: SGBlog 0.34.0