У меня установлено noweb3 . Я вижу, что есть фильтр, называемый стрипкондс. Похоже на селективные клубки кусков. Я не могу найти командную строку, которая заставляет это работать. Как я могу использовать это? Я пробовал следующие командные строки.
no tangle -stripcond spawn xpipe.nw
no tangle -filter 'stripcond spawn' xpipe.nw
no tangle -filter 'stripconds spawn' xpipe.nw
Можете ли вы объяснить, как использовать этот фильтр? Это реализовано в stripconds.nws
.