summaryrefslogtreecommitdiff
path: root/home (follow)
Commit message (Collapse)AuthorAgeFilesLines
* home-minimal: add bsd-fingerstuebinm2024-06-171-1/+1
| | | | | | since i am apparently now fingerable at plan.cat, might as well have the utility for it (… though has there ever been a more egregious case of "just using nc is simpler anyways"?)
* home: remove leanstuebinm2024-06-141-1/+1
| | | | | | | having tried multiple times, it's not actually very possible or reasonable to attempt to keep lean's version in sync with whatever mathlib requires at any given time, and probably better to have it just be managed by elan, no matter how annoying that may be.
* home: more news entriesstuebinm2024-06-041-0/+2
|
* all: jump to nixpkgs 24.05stuebinm2024-06-042-5/+5
| | | | | | | | | | | | this does a lot of things, most of which are maintenance: - sources update - adjust newly-renamed options - swap some packages that were removed / renamed - update nomsring to newer default ghc - remove the deprecated lib.mdDoc from modules/*.nix - disable the nixpkgs mollysocket module so my own keeps evaluating - bundle the package definition of hikari & wlroots 0.15, which nixpkgs has removed as unmaintained (in fairness, they are unmaintained)
* home: simple alias for reading qr codes on screenstuebinm2024-06-042-1/+3
|
* home: fix stealemoji aliasstuebinm2024-05-281-1/+1
| | | | exit is the wrong thing in shell functions …
* home: switch to dino from nixpkgs-stablestuebinm2024-05-072-1/+1
|
* yeet the nix flakesstuebinm2024-04-294-11/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | this is, in the widest possible sense, a revert of e88fed18f499a3e8ac98c772bbb62f00d1f8d1d7, which was now a little over two years ago. Of course, lots of things have changed since then: - this uses npins instead of niv, which is both simpler and still maintained - i haven't brought back the old deploy lib; I still use deploy-rs (with some modifications) to deploy things - if you actually use my stuff downstream, you can now use packages/ & tests/ & modules/ as entry points directly, while still having some control over inputs - (since i also don't believe any downstream users actually exist, i've not bothered to have a shim flake.nix so your stuff probably just broke. well, it was an experimental feature, anyways) - in general there's a lot more of the old-fashioned structure back again, with default.nix files in subdirectories that form a structure, not like how almost everything was just imported in the one big flake.nix file For people who are interested in also having a non-flake config similar to this one, it's probably best to take a look at inputs.nix (and also at npins, of course)
* package transport-validatorstuebinm2024-04-151-0/+2
| | | | | | | this is the rust tool used by the french ministry for transport (deployed at https://transport.data.gouv.fr/validation), patched to not include the server mode it usually has (i don't want to constantly compile another copy of actix-web)
* home: markdown formatting for changelogs in gitstuebinm2024-04-111-2/+27
| | | | | | | | | | | | I discovered `guix pull --news` recently and realised I barely ever keep up with nixpkgs's change logs, so here's a thing which might help to change that. It's actually a little more general than I thought it'd need to be — turns out that people do change old release notes items in nixpkgs (mostly to update links), so it can format deletions as well. (some vague inspiration was given by https://github.com/netj/markdown-diff) It's a little cursed, but then so is using `lowdown` at all I'd say …
* home: add ijqstuebinm2024-04-071-1/+1
| | | | because for some reason it's not there already
* home: funny jq for geojson → gtfs shapes.txt conversionstuebinm2024-04-071-0/+1
|
* home: glow → lowdown for markdown viewingstuebinm2024-04-072-2/+5
| | | | | lowdown isn't very good, but at least it doesn't have any weird cloud features (why is this the standard for things that show text??)
* home: more news feedsstuebinm2024-04-021-1/+3
|
* update inputsstuebinm2024-03-161-1/+1
| | | | let's see if this hydra of mine is of any use :)
* home: two new feedsstuebinm2024-03-161-0/+2
|
* home: minor tweaksstuebinm2024-03-163-2/+11
|
* home: i have officially lost control of all the git reposstuebinm2024-03-151-0/+10
| | | | | | | | | | | | | | | so I added a command to search though them :) Should help whenever I'm not sure if I have cloned something already. Intended usage is something like `cd (git where)`. It might be useful to extend this so it doesn't assume everything has a remote called `origin', but looks like my only three git repos which don't have one (and which are not my own) where cloned via heartwood/radicle, and I'm unlikely to need those again tbh. … tbh, it might also be worth it to add a mass-fetch command? So much of what I've cloned is just old stuff lying around …
* home: useful nix toolsstuebinm2024-03-081-0/+2
|
* home-minimal: useful git branch sorting defaultstuebinm2024-03-071-0/+1
|
* home: add git annex remote for amatlstuebinm2024-03-071-2/+2
| | | | | the tool is still a bit rough, but it should work well enough for actual use (even if i have to restart xochitl afterwards)
* home-minimal: dogdns → doggo, punycode via libidnstuebinm2024-03-072-2/+4
| | | | | | | doggo is more maintained, can use IPv6, queries all nameservers at once by default, and generally feels comfier. (now if only it had a man page ..)
* home: small stuffstuebinm2024-03-043-1/+5
|
* home: new feedsstuebinm2024-02-211-0/+3
|
* home: tweak git configstuebinm2024-02-111-0/+3
|
* home: tweak newsboat configstuebinm2024-02-112-3/+11
|
* home: add twelfstuebinm2024-02-111-0/+8
| | | | | | for Chris Marten's logic course. Uses an unofficial version from github since the actually released version is so old that the elisp code for the emacs mode doesn't work with an up-to-date emacs anymore.
* home/ssh: add amatl configstuebinm2024-01-291-0/+5
|
* home: new newsfeedsstuebinm2024-01-291-0/+2
|
* git.infra4future.de can't do ipv6stuebinm2024-01-231-0/+6
| | | | something something nftables module obscurity
* home: fix $MANPAGER with batstuebinm2024-01-211-0/+1
| | | | | | turns out there's an issue for that: https://github.com/sharkdp/bat/issues/2563 and even a hint in bat's README.md
* update inputsstuebinm2024-01-181-1/+1
|
* home: shell function to add emojis to akkomastuebinm2024-01-131-0/+16
|
* home: use zdiff3 for gitstuebinm2024-01-081-0/+1
|
* home: some new newsfeedsstuebinm2024-01-081-0/+4
|
* more updatesstuebinm2023-12-291-14/+13
|
* some updatesstuebinm2023-12-092-1/+2
|
* jump to nixos 23.11stuebinm2023-11-303-4/+6
|
* home: small fix to bahnsteig functionstuebinm2023-11-301-1/+1
|
* home: small changesstuebinm2023-11-152-1/+3
|
* home: am selben bahnsteig gegenüberstuebinm2023-11-031-0/+17
| | | | experimental, will probably still break on some stations
* home: yet more feedsstuebinm2023-11-031-0/+6
|
* home: spell checking for emacsstuebinm2023-10-301-1/+1
|
* home: switch back to rnix-lspstuebinm2023-10-302-2/+1
|
* home: cleaned up old mu versionstuebinm2023-10-141-1/+1
|
* playing around with radicle.xyzstuebinm2023-10-121-0/+1
| | | | | | | | | this packages the heartwood cli tools, the radicle web interface, and runs a small example deployment on chaski. TODO: decide if i want to keep this thing, then add declarative config of the web interface, `rad auth`, and the radicle node to a NixOS module; the current state is kinda suboptimal to deploy.
* update RusTeXstuebinm2023-10-091-1/+3
|
* updatesstuebinm2023-10-094-18/+3
|
* home: accumulated changesstuebinm2023-10-083-6/+11
|
* ilex: setup for hikari hackingstuebinm2023-10-081-2/+6
|