wiki.php

<?php

$page = $_GET['page'];

if ( $page == "") {
	$page = "main";
	}

print "<html>
	<head>
		<title>Thunix Wiki - $page</title>
	</head>
	<body>";

echo ( shell_exec("/usr/bin/pandoc /var/www/wiki.thunix.net/articles/$page.md") );

print "	</body>
</html>";
?>
Some cleanup, and a way to do on-the-fly generation 2019-06-28 15:30:55 +00:00			`<?php`

Niceified this a bit 2019-06-28 15:51:05 +00:00			`$page = $_GET['page'];`
Some cleanup, and a way to do on-the-fly generation 2019-06-28 15:30:55 +00:00
Niceified this a bit 2019-06-28 15:51:05 +00:00			`if ( $page == "") {`
			`$page = "main";`
			`}`

			`print "<html>`
			`<head>`
			`<title>Thunix Wiki - $page</title>`
			`</head>`
			`<body>";`

			`echo ( shell_exec("/usr/bin/pandoc /var/www/wiki.thunix.net/articles/$page.md") );`

			`print " </body>`
			`</html>";`
Some cleanup, and a way to do on-the-fly generation 2019-06-28 15:30:55 +00:00			`?>`