Как использовать фильтр stripconds в noweb3? - PullRequest
0 голосов
/ 21 октября 2019

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

no tangle -stripcond spawn xpipe.nw
no tangle -filter 'stripcond spawn' xpipe.nw
no tangle -filter 'stripconds spawn' xpipe.nw

Можете ли вы объяснить, как использовать этот фильтр? Это реализовано в stripconds.nws.

...