clean docs

This commit is contained in:
Emile Clark-Boman 2026-02-05 00:31:30 +10:00
parent 36dde64b61
commit 2b12175ffa
10 changed files with 4 additions and 219 deletions

View file

@ -1,2 +0,0 @@
# Html With Nix (HOWN/hown)
Hown is a system for static html/css compilation with the NixExpr language.

View file

@ -1,6 +0,0 @@
{mix, ...} @ inputs:
mix.newMixture inputs (mixture: {
includes.public = [
./tty.nix
];
})

View file

@ -1,8 +0,0 @@
<!-->
{Text, mkTypingEffect, ...}:
mkTypingEffect {
head = Text "$ Do butterflies cry when they're sad?";
body = Text "Segmentation fault (core dumped)";
}
<-->

View file

@ -1,100 +0,0 @@
# XXX: TODO: The howl.Div, howl.Text, ... types implement
# XXX: TODO: the HtmlTag' typeclass, which in turn implements
# XXX: TODO: a morphism to the nt.String type. This makes compiling
# XXX: TODO: to html super duper simple!!
{
nt,
howl,
...
}: let
inherit
(nt)
projectOnto
;
inherit
(howl)
# HTML
Div
Text
# CSS
StyleClass
StyleSheet
ContinuousAnimation
DiscreteAnimation
;
in {
typing = StyleSheet {
include = [./tty.css];
classes = {
typing-wrapper = null;
typing-prompt = promptLength: commandLength: duration: period:
StyleClass {
width = promptLength + commandLength; # ignore cursor
border.right = "TODO"; # cursor
# hide what the animation hasn't shown yet
whitespace = "nowrap";
overflow = "hidden";
# run typing animation then start cursor blink
animations = [
(DiscreteAnimation {
inherit duration;
keyframes = {
"0"
};
})
];
};
typing-result = typingDuration: delay:
StyleClass {
visibility = "hidden";
whitespace = "pre-wrap"; # preserve linebreaks
# show result once typing duration + delay is over
animations = [
(ContinuousAnimation {
name = "unhide-result";
duration = 1; # animation-duration
# timingFn = ; # animation-timing-function
delay = typingDuration + delay; # animation-delay
# animation-iteration-count
direction = "forwards"; # animation-direction
# animation-fill-mode
# animation-play-state
keyframes = {
"100" = {
visibility = "visible";
};
};
})
];
};
};
};
mkTypingEffect = decl': let
decl =
decl'
|> projectOnto
{
head = "";
body = "";
};
in
Div {
id = "typing-wrapper";
content = [
(Div {
id = "typing-prompt";
content = Text decl.head;
})
(Div {
id = "typing-result";
content = Text decl.body;
})
];
};
}

View file

@ -1,12 +0,0 @@
Web: dobutterfliescry.net
imbored.dev (195.114.14.69)
Socials:
Bluesky: @dobutterfliescry.bsky.social
Discord: @emileisbaud
Forges:
Github: @emileclarkb
Coderberg: @dobutterfliescry
Tearforge: https://tearforge.online

View file

@ -1,53 +0,0 @@
# REF: https://github.com/rose-pine/fish/blob/main/themes/Ros%C3%A9%20Pine%20Moon.theme
# syntax highlighting variables
# https://fishshell.com/docs/current/interactive.html#syntax-highlighting-variables
fish_color_normal e0def4
fish_color_command c4a7e7
fish_color_keyword 9ccfd8
fish_color_quote f6c177
fish_color_redirection 3e8fb0
fish_color_end 908caa
fish_color_error eb6f92
fish_color_param ea9a97
fish_color_comment 908caa
# fish_color_match --background=brblue
fish_color_selection --reverse
# fish_color_history_current --bold
fish_color_operator e0def4
fish_color_escape 3e8fb0
fish_color_autosuggestion 908caa
fish_color_cwd ea9a97
# fish_color_cwd_root red
fish_color_user f6c177
fish_color_host 9ccfd8
fish_color_host_remote c4a7e7
fish_color_cancel e0def4
fish_color_search_match --background=232136
fish_color_valid_path
# pager color variables
# https://fishshell.com/docs/current/interactive.html#pager-color-variables
fish_pager_color_progress ea9a97
fish_pager_color_background --background=2a273f
fish_pager_color_prefix 9ccfd8
fish_pager_color_completion 908caa
fish_pager_color_description 908caa
fish_pager_color_secondary_background
fish_pager_color_secondary_prefix
fish_pager_color_secondary_completion
fish_pager_color_secondary_description
fish_pager_color_selected_background --background=393552
fish_pager_color_selected_prefix 9ccfd8
fish_pager_color_selected_completion e0def4
fish_pager_color_selected_description e0def4
# custom color variables
fish_color_subtle 908caa
fish_color_text e0def4
fish_color_love eb6f92
fish_color_gold f6c177
fish_color_rose ea9a97
fish_color_pine 3e8fb0
fish_color_foam 9ccfd8
fish_color_iris c4a7e7

View file

@ -1,26 +0,0 @@
## Current State + Analysis
> Current (default) `ens3` interface configuration
```fish
ae@hyrule ~> ip -6 addr
1: lo: <LOOPBACK,UP,LOWER_UP> mtu 65536 state UNKNOWN qlen 1000
inet6 ::1/128 scope host noprefixroute
valid_lft forever preferred_lft forever
2: ens3: <BROADCAST,MULTICAST,UP,LOWER_UP> mtu 1500 state UP qlen 1000
inet6 fe80::a0c7:1fe3:4851:b2b4/64 scope link noprefixroute
valid_lft forever preferred_lft forever
3: docker0: <NO-CARRIER,BROADCAST,MULTICAST,UP> mtu 1500 state DOWN
inet6 fe80::42:9ff:fe40:1e1c/64 scope link proto kernel_ll
valid_lft forever preferred_lft forever
```
However the address should actually be `2402:7340:5000:1800::a`.
Using the `2402:7340:5000::1` gateway.
IPv6 allocations are viewable under the VPS `Control Panel / Network` tab
## Guides + Resources
Mini guide on configuring IPv6 for NixOS:
https://nlewo.github.io/nixos-manual-sphinx/configuration/ipv6-config.xml.html
This forum post says how to do everything:
https://discourse.nixos.org/t/how-to-setup-ipv6-correctly-so-that-ping-6-google-com-works/33686