Add nginx_office_hours page

[rbdr/r.bdr.sh] / index.gmi

diff --git a/index.gmi b/index.gmi
index 24771d862a9edc465db246f72293e17a4c46b7c8..459440c5b5bc13e49a86600646afa75055064dc9 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -1,6 +1,7 @@
 --- title: /index.html
 --- description: unlimited.pizza - ruben beltran del río surfs the internet: programming, music, fun times, hugs, bad jokes, and unlimited pizza
-## 
+## Welcome
+
 ```Unlimited Pizza
 ┬ ┬┌┐┌┬  ┬┌┬┐┬┌┬┐┌─┐┌┬┐ ╔═╗╦╔═╗╔═╗╔═╗
 │ │││││  │││││ │ ├┤  ││●╠═╝║╔═╝╔═╝╠═╣
@@ -46,6 +47,7 @@ A command line tool to manage and publish an (almost) ephemeral https blog with
 
 ### Page
 A command line tool to generate HTML and static gemini websites from .gmi files
+=> /page.gmi ./page.gmi
 => https://git.unlimited.pizza/rbdr/page page source code
 
 ### Page
@@ -94,7 +96,7 @@ Older versions of the plugin exist for other editors, though they support an old
 ### NGINX Office Hours
 A victory for the server's labor rights: An nginx module that allows you to serve your content only during office hours.
 
-=> https://git.unlimited.pizza/rbdr/ngx_http_office_hours_filter_module ngx_http_office_hours_filter_module
+=> ./nginx_office_hours.gmi ./nginx_office_hours.gmi
 
 ### Junction
 A browser extension that lets you start audio calls on any URL.