Differences

This shows you the differences between two versions of the page.

--- dokuwikisnippets [2014/07/16 08:52] – created andi
+++ dokuwikisnippets [2019/07/08 08:57] (current) – andi
@@ Line 1: / Line 1: @@
 ====== DokuWiki Snippets ======
-Extract a list from instructions
+===== List all tags of the tag plugin =====
+Run in the page directory:
+    grep -Rh '{{tag>' * |grep -v '{{tag>}}'| awk '{print substr($0, 7, length($0)-8)}'|tr ' ' "\n"|tr '[:upper:]' '[:lower:]' |sort| uniq -c|sort -nr
+===== Extract a list from instructions =====
 <code php>