Sandbot

Some useful links / notes related to the sandbot setup.

Setting up CGI (nginx)

Running something as www-data

 sudo su www-data -s /bin/sh

Setting up /var/www/html with githook:

 sudo chown www-data /var/www/html
 git remote set-url origin https://git.xpub.nl/XPUB/sandbot.git

Created file /usr/lib/cgi-bin/pull_XXXXXXXXXX.cgi

#!/bin/bash

echo "Content-type:text/html"
echo
cd /var/www/html
git fetch --all
git reset --hard origin/master

Testing the webhook...

sudo su www-data -s /bin/sh
cd /usr/lib/cgi-bin
./pull_XXXXXX.cgi

Test from browser:

https://hub.xpub.nl/sandbot/cgi-bin/pull_XXXXXX.cgi

Directory listing

<!DOCTYPE html>
<html>
<?php
$cwd = getcwd();
$path=explode('/', $cwd);
$depth=count($path);
$files = scandir($cwd);
?>
<head>
    <meta charset="utf-8">
    <title><?=end($path)?></title>
    <link rel="stylesheet" href="/sandbot/PrototypingTimes/tic80/gamelisting.css"
</head>
<body class="depth<?=$depth?>">
<h1><?=end($path)?></h1>
<ul id="files">
<li><a href='../'>..</a></li>
<?php
foreach ($files as $file):
  if (preg_match('/^\./', $file) || $file == 'index.php'):
    continue;
  elseif (preg_match('/\.tic$/', $file)):
    echo "<li><a class='file tic' href='/sandbot/PrototypingTimes/tic80/tic80.php?cart=/sandbot".$_SERVER[REQUEST_URI].urlencode($file)."'>$file</a></li>\n";
  elseif (is_dir($cwd.'/'.$file)):
    echo "<li><a class='folder' href='$file/'>$file</a></li>\n";
  else:
    echo "<li><a class='file' href='$file'>$file</a></li>\n";
  endif;
endforeach;
?>
</ul>
</html>