Convert page titles

Mark Ferry commited 2022-05-13 22:45:23 +0100 commit 9b71d4b5af6243521f4adf583989df5092b9d966

				convert.sed
			
          @@ -20,3 +20,9 @@ s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /

           /markferry.net\/pmwiki\/pmwiki/ s%n=\(.*\)\.\(.*\)%n=\1/\2%g

           # strip pmwiki part

           /markferry.net\/pmwiki\/pmwiki/ s%http://markferry.net/pmwiki/pmwiki.php?n=%/%

          +# Convert page titles

          +1 {

          +	i ---

          +	s/^#\+\s\+/title: /

          +	a ---

          +}

...	...	@@ -20,3 +20,9 @@ s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /
20	20	/markferry.net\/pmwiki\/pmwiki/ s%n=\(.\)\.\(.\)%n=\1/\2%g
21	21	# strip pmwiki part
22	22	/markferry.net\/pmwiki\/pmwiki/ s%http://markferry.net/pmwiki/pmwiki.php?n=%/%
	23	+# Convert page titles
	24	+1 {
	25	+ i ---
	26	+ s/^#\+\s\+/title: /
	27	+ a ---
	28	+}