This shows you the differences between two versions of the page.
dokuwikisnippets [2014/07/16 10:52] andi created |
dokuwikisnippets [2019/07/08 10:57] (current) andi |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== DokuWiki Snippets ====== | ====== DokuWiki Snippets ====== | ||
- | Extract a list from instructions | + | ===== List all tags of the tag plugin ===== |
+ | |||
+ | |||
+ | Run in the page directory: | ||
+ | |||
+ | grep -Rh ' | ||
+ | |||
+ | |||
+ | ===== Extract a list from instructions | ||
<code php> | <code php> |