4077 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Léana 江	edf313dfb3	overlays/iosevka: useless refactor	2026-01-25 22:39:53 +01:00
Léana 江	cc9a1be62f	npins/cornelis: use 2.7.1 due to agda's interface change	2026-01-25 22:01:36 +01:00
Léana 江	e538cf1fdf	nvim/agda: document how to find new symbols	2026-01-25 15:24:17 +01:00
Léana 江	d2ebdb0073	nvim/agda: add bindings for PFLA chapter "Induction"	2026-01-25 14:43:13 +01:00
Léana 江	16dfce7e6e	nvim: move out cornelis autocommands to avoid duplication	2026-01-25 11:49:00 +01:00
Léana 江	e63978da7f	vanadium: include config to disable useless nixos scripts	2026-01-24 23:11:00 +01:00
Léana 江	4514493746	nixos/lean-nixos: init	2026-01-24 23:10:48 +01:00
Léana 江	2a9804f87f	move zbar to shared home module ... I only used it for otp code scanning anyway	2026-01-24 22:51:45 +01:00
Léana 江	934038691d	vanadium: -minder	2026-01-24 22:50:26 +01:00
Léana 江	5ffb48d5cd	vanadium: -tuba -telegram-desktop	2026-01-24 22:49:43 +01:00
Léana 江	a1a918193a	nvim/ftplugin: agda support	2026-01-24 22:24:56 +01:00
Léana 江	9c6bfa1058	overlays/ghostty-dev: patch version when using npins	2026-01-24 14:59:30 +01:00
Léana 江	643d736942	npins: update sources	2026-01-24 00:15:18 +01:00
Léana 江	69c07154c9	nvim: +cornelis	2026-01-23 23:17:30 +01:00
Léana 江	46447d8a02	vanadium: +cornelis	2026-01-23 23:14:07 +01:00
Léana 江	f8658bc793	overlays/cornelis: init	2026-01-23 23:13:59 +01:00
Léana 江	5045521db5	overlays/iosevka: enable brst and markdown-checkboxes	2026-01-23 20:21:26 +01:00
Léana 江	bd8bd280ea	overlays/iosevka: make regular and medium thicker	2026-01-23 20:21:26 +01:00
Léana 江	26acc21d31	vanadium: use iosevka default ... It seems like I like the original the most <3	2026-01-23 19:06:36 +01:00
Léana 江	352be82869	Revert "vanadium: switch to IBM Plex Mono font" ... This reverts commit 0ad8a3c659.	2026-01-23 17:43:32 +01:00
Léana 江	0ad8a3c659	vanadium: switch to IBM Plex Mono font	2026-01-23 17:05:58 +01:00
Léana 江	8bd410c116	vanadium: switch to ubuntu mono font ... find . -type f -not -path .git -exec sed -i "s/PTMono/UbuntuMono/g" {} +	2026-01-23 17:03:04 +01:00
Léana 江	ad6669d42f	vanadium/xmonad: correct dmenu font configuration	2026-01-23 10:29:01 +01:00
Léana 江	ae75eae20f	vanadium: implement conditional fontsize in fontconfig	2026-01-23 10:27:20 +01:00
Léana 江	e08afde62f	overlays/iosevka: build default weight	2026-01-23 10:27:20 +01:00
Léana 江	51d27a224a	overlays/iosevka: document why custom built iosekva is thick	2026-01-23 10:21:29 +01:00
Léana 江	8cb87dff9b	vanadium: rename usages of iosevka font	2026-01-23 10:21:29 +01:00
Léana 江	bc67b4226f	overlays/iosevka: refactor family name in spacing overlay	2026-01-23 10:21:29 +01:00
Léana 江	9230f7b378	vanadium: use new iosevka pt mono ... vanadium/xmonad: fix dmenu font oddity home/ghostty: fix fontname	2026-01-23 01:34:44 +01:00
Léana 江	d93813d04e	vanadium/remote-builders: build more at once on hetzner	2026-01-23 01:34:43 +01:00
Léana 江	f2bd846e22	overlays/iosevka: refactor ... iosevka overlay now uses iosevka config build plans in extesible forms!	2026-01-23 00:41:41 +01:00
Léana 江	acab4af809	vanadium: blahaj boot animation	2026-01-22 17:46:33 +01:00
Léana 江	4260ebfda0	packages/ai_blocklist: add PR as patches	2026-01-22 16:50:35 +01:00
Léana 江	aed2fed5a9	nvim/telescope: sort buffer picker	2026-01-22 16:28:44 +01:00
Léana 江	4932575819	packages/ruler: update	2026-01-21 10:54:43 +01:00
Léana 江	5b4c35df1c	vanadium: -chromium	2026-01-20 21:18:12 +01:00
Léana 江	2d6ead2145	npins: update sources	2026-01-20 18:39:15 +01:00
Léana 江	7e65f2d093	overlays/iosevka-term: don't slant #	2026-01-20 18:38:53 +01:00
Léana 江	1c8df62dfe	vanadium: update wallpaper	2026-01-20 15:55:25 +01:00
Léana 江	f772e03821	home/starship: drop min time to 2 seconds	2026-01-20 15:28:33 +01:00
Léana 江	9c728011be	networks: simplify documented command	2026-01-20 09:43:33 +01:00
Léana 江	3133e11a96	fish: wrap ls command	2026-01-18 22:24:42 +01:00
Léana 江	0a34f6cc7d	vanadium: +lsr	2026-01-18 22:23:31 +01:00
Léana 江	963b1afacd	Revert "home/btop: disable io mode for disks" ... This reverts commit c33bef854b.	2026-01-18 18:24:12 +01:00
Léana 江	8eb2603a8f	vanadium/overlay: patch btop waiting for upstream response ... Related to: https://github.com/NixOS/nixpkgs/issues/481249	2026-01-18 18:24:12 +01:00
Léana 江	98125368d3	home/fish: specify --command $SHELL in alias	2026-01-18 14:35:57 +01:00
Léana 江	0798147e92	home/fish: wrap "nix {build,shell}" with nom if possible	2026-01-18 01:05:15 +01:00
Léana 江	3acb95f745	hetzner_benchmark: update {min,max}-free with a formula	2026-01-18 00:10:07 +01:00
Léana 江	c43cd8b595	vanadium: update {min,max}-free with a formula	2026-01-18 00:08:19 +01:00
Léana 江	294868e522	vanadium: configure remote builders	2026-01-18 00:04:45 +01:00