all repos — www @ e8fd06b449accb5886da0e3e4aca7211ceb45109

deserthorns.net content + generator

git page, stub out other pages, styling
sageclove
Sun, 26 Jan 2025 11:36:16 -0700
commit

e8fd06b449accb5886da0e3e4aca7211ceb45109

parent

a51d1ce3bd81c09420f7d4d19f43a76267a55a56

M readme.mdreadme.md

@@ -29,5 +29,6 @@ Add a new name to `wiki.tab` at its proper place in the hierarchy and rerun `./build`. A new file will be created in the `/wiki/pages` source directory with the proper template tags.

### TODOs - Fast rebuild when serving locally using `-s` (press Enter to rebuild?) +- Sitemap/index of all pages - Use YAML for `wiki.tab`? - Typography styling pass
M wiki/css/style.csswiki/css/style.css

@@ -25,7 +25,7 @@ }

pre, code { color: var(--f_med); - background: var(--b_low); + border: 1px solid var(--b_low); } code {

@@ -34,6 +34,9 @@ }

pre { padding: 1rem; + overflow-x: scroll; + scrollbar-width: thin; + scrollbar-color: var(--b_low) var(--background); } blockquote {
A wiki/pages/git.html

@@ -0,0 +1,60 @@

+{{ define "styles" }} +{{ end }} + +{{ define "content" }} +<h1>git</h1> +<p> + <a href="https://git.deserthorns.net/">My git repositories</a> are hosted on a VPS and use <a href="https://github.com/icyphox/legit">legit</a> for the web frontend. +</p> +<p> + Pushing using HTTP/S is disabled, pushing must be done over SSH. +</p> +<h2>Creating a new repo</h2> +<p> + First, a new bare repo needs to be created <strong>on the server</strong>. In my case, all git repos are stored on the server in <code>/var/git</code>: +</p> +<pre> +cd /var/git +mkdir my-new-repo +cd my-new-repo +git init --bare +</pre> +<p> + Once the bare repo on the server has been created, switch to a client and create a new working (non-bare) repo: +</p> +<pre> +mkdir my-new-repo +cd my-new-repo +git init +</pre> +<p> + With this, the working repo has been created on the client, now we can add content and commit it: +</p> +<pre> +** Add/change some stuff, make a readme... ** +git add . +git commit -m "initial commit" +</pre> +<p> + Now we need to do the inital push and update the remote for the repo to be the server repo (you need to have already set up SSH for the user that you are using to do the push): +</p> +<pre> +git remote add origin &ltSSH_USERNAME&gt@git.deserthorns.net:/var/git/my-new-repo +git push --set-upstream origin master +</pre> +<p> + Now our repo on the server should have the files added/changed by the client. +</p> +<p> + After the initial commit, pushing is easy as: +</p> +<pre> +** Add/change some stuff ** +git add . +git commit -m "did stuff" +git push +</pre> +{{ end }} + +{{ define "scripts" }} +{{ end }}
A wiki/pages/software.html

@@ -0,0 +1,8 @@

+{{ define "styles" }} +{{ end }} + +{{ define "content" }} +{{ end }} + +{{ define "scripts" }} +{{ end }}
A wiki/pages/sysadmin.html

@@ -0,0 +1,8 @@

+{{ define "styles" }} +{{ end }} + +{{ define "content" }} +{{ end }} + +{{ define "scripts" }} +{{ end }}
M wiki/wiki.tabwiki/wiki.tab

@@ -3,11 +3,12 @@ music

visuals knowledge + software + git + sysadmin tools meta about style - links - foo - bar+ links