Initial commit

.github/workflows/pages.yml

@@ -0,0 +1,62 @@
+# Simple workflow for deploying static content to GitHub Pages
+name: Build and Deploy to Pages
+
+on:
+  # Runs on pushes targeting the default branch
+  push:
+    branches: ["main"]
+
+  # runs every day at 00:42 UTC
+  # schedule:
+  # - cron: "42 0 * * *"
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
+jobs:
+  # Single deploy job since we're just deploying
+  build:
+    name: Building and Deploying
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - uses: Bogdanp/[email protected]
+        with:
+          architecture: 'x64'
+          distribution: 'full'
+          variant: 'CS'
+          version: '8.11'
+      - uses: actions/cache@v2
+        with:
+          path: |
+            ~/.cache/racket
+            ~/.local/share/racket
+          key: ${{ runner.os }}-racket-current-${{ hashFiles('.racket-version') }}
+      - run: raco pkg install --auto --skip-installed pollen
+      - run: mkdir output
+      - run: raco pollen render
+      - run: cp -r assets *.html output
+      - name: Setup Pages
+        uses: actions/configure-pages@v3
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          # Upload ./output only
+          path: './output'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1
+

.gitignore

@@ -0,0 +1,9 @@
+.direnv
+.pre-commit-config.yaml
+
+compiled/
+*.html
+
+node_modules/
+
+.envrc

.vscode/extensions.json

@@ -0,0 +1,3 @@
+{
+  "recommendations": ["jnoortheen.nix-ide", "evzen-wybitul.magic-racket", "evzen-wybitul.pollen"]
+}

README.md

@@ -0,0 +1,49 @@
+# ...
+
+The website of ...
+
+Written in [Racket](https://racket-lang.org), [Pollen](https://pollenpub.com) and [unocss](https://unocss.dev), built with [Nix](https://nixos.org), hosted on GitHub Pages.
+
+# Setup
+
+There are two ways to get this repo up and running: 
+1. Using [Nix](https://nixos.org) (the recommended way for any Unix-based system, e.g. Linux, macOS, WSL)
+2. Installing everything by hand (the way to go on Windows)
+
+## 1) Nix
+The easiest way to get started with local development is to [use Nix](https://zero-to-nix.com/start/install):
+
+1. Install Nix
+```bash
+curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install
+```
+
+2. Enter the nix development environment (from inside the repo):
+```bash
+cd tuebocracy && nix develop
+```
+This should show you a Menu of available commands (you can show it again by executing `menu` from the project root)
+
+3. Run everything: The pollen web server and the unocss watcher 
+```bash
+run
+```
+5. edit files, reload the browser window, see the changes
+
+## 2) 'Normal' install
+
+1. Download & Install [Racket](https://racket-lang.org): [download.racket-lang.org](https://download.racket-lang.org)
+2. Install [Pollen](https://pollenpub.com), and the Racket Language Server:
+```shell
+raco pkg install --auto --skip-installed pollen racket-langserver
+```
+3. Download and install nodejs as described [here](https://nodejs.org/en/download/package-manager).
+4. Install the necessary node dependencies:
+```shell
+npm install
+```
+5. Run everything: The pollen web server and the unocss watcher 
+```bash
+npm run dev
+```
+6. edit files, reload the browser window, see the changes