The website is (obviously) generated static content.
If you want to make changes, fix typos or add missing documentation, please follow these steps.
- Please fork the repository to your github account.
- Clone the repository to you local machine
$ git clone https://github.com/<your-github-user>/icehawk.github.io.gitThe static page generator is a PHAR that is installed using composer and tm/tooly-composer-script.
Simply run:
$ cd icehawk.github.io
$ mkdir -p vendor/bin
$ composer updateThe static page generator PHAR is placed to vendor/bin/spg.phar and is executable.
The simplest way is to use the build-in PHP webserver, like this:
$ cd icehawk.github.io
$ php -S 127.0.0.1:8088
# Should print something like this
PHP 7.0.11 Development Server started at Fri Nov 4 11:03:32 2016
Listening on http://127.0.0.1:8088
Document root is /Users/hollodotme/Sites/icehawk.github.io
Press Ctrl-C to quit.In order to generate the pages for your local URL (http://127.0.0.1:8088 or whatever your webserver's URL is), you need
to run the static page generator with the option --baseUrl="http://127.0.0.1:8088".
$ vendor/bin/spg.phar generate:pages --baseUrl="http://127.0.0.1:8088" ./Project.jsonNow you should be able to view the pages in your browser when visiting http://127.0.0.1:8088.
- You can edit the content files located in the
./Contentsdirectory. - Please do not edit the
.htmlfiles, those changes will be gone when generating the pages. - You can add new pages in the
./Project.jsonfile. Please refer to the already existing page configs there.
Pro-Tip:
If you're using PhpStorm, you can set up a FileWatcher for the ./Contents directory and let the page generator
automatically be executed as soon as you saved changes. You won't need to trigger the generator every time yourself.
THIS IS IMPORTANT!
Before you commit your changes, please generate the pages again without the --baseUrl-option,
so that the real base URL from the settings will take effect.
$ vendor/bin/spg.phar generate:pages ./Project.json
$ git add -A
$ git commit -m '...'
$ git pushPlease create a pull request to the origin repository. We'll then check your changes and merge them.
Thanks for your help on improving our docs, we really appreciate that!