diff options
| author | David T. Sadler <davidtsadler@googlemail.com> | 2021-05-17 15:59:24 +0100 |
|---|---|---|
| committer | David T. Sadler <davidtsadler@googlemail.com> | 2021-05-17 15:59:24 +0100 |
| commit | bbf7974715b9a43bab207df75ef69209cdf13850 (patch) | |
| tree | 13078ed02a7fec8f28b1d6046e6533f1be2aec54 /scripts/build_www_site.php | |
| parent | 3e9a949c823917e0f4189628959fa4d3eb908db4 (diff) | |
Move to building localy rather than on remote server
Diffstat (limited to 'scripts/build_www_site.php')
| -rw-r--r-- | scripts/build_www_site.php | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/scripts/build_www_site.php b/scripts/build_www_site.php new file mode 100644 index 0000000..e610298 --- /dev/null +++ b/scripts/build_www_site.php @@ -0,0 +1,46 @@ +<?php declare(strict_types=1); + +require_once __DIR__.DIRECTORY_SEPARATOR.'functions.php'; + +$hostname = 'davidtsadler.com'; + +$geminiSrc = __DIR__.DIRECTORY_SEPARATOR.'..'.DIRECTORY_SEPARATOR.'gemini'; + +if (!is_dir($geminiSrc)) { + echo "Unable to locate gemini directory.\n\n"; + exit(1); +} + +if (!is_readable($geminiSrc)) { + echo "Gemini directory is not readable.\n\n"; + exit(1); +} + +$output = __DIR__.DIRECTORY_SEPARATOR.'..'.DIRECTORY_SEPARATOR.'www'; + +if (!is_dir($output)) { + echo "Unable to locate output directory.\n\n"; + exit(1); +} + +if (!is_writable($output)) { + echo "Output directory is not writable.\n\n"; + exit(1); +} + +$htmlTemplateDiretory = __DIR__.DIRECTORY_SEPARATOR.'../html_templates'; + +if (!is_dir($htmlTemplateDiretory)) { + echo "Unable to locate html template directory.\n\n"; + exit(1); +} + +if (!is_readable($htmlTemplateDiretory)) { + echo "HTML template directory is not readable.\n\n"; + exit(1); +} + +$pages = getPages($geminiSrc, $output); + +buildWWWSite($pages, $hostname, $htmlTemplateDiretory); + |
