Naïm Camille Favier

Support deleting existing releases

5

Extracted from #181 Tests pass, tested [in situ](https://github.com/ncfavier/config/runs/4418208493?check_suite_focus=true#step:9:1)

Don't store the agda path in the config

1

When switching between projects that use different versions of Agda, I have to clear the agda path and restart vscode every time, which is annoying. If there is a use...

Prevent busy loop over network with two mutual introducers

4

To simplify, I'm synchronising two folders `foo` and `bar` between a laptop (with ID `LAPTOP`) and a server (with ID `SERVER`) which I recently migrated from an old server (with...

files: avoid surprises when linking files

1

In the unlikely (but possible) event that a directory is created in place of a target file *after* `checkLinkTargets` but *before* `linkGeneration`, currently the link is created *inside* the directory,...

`unmerged-usr` doesn't apply to all distros

19

### Component systemctl, systemd ### Is your feature request related to a problem? Please describe See https://github.com/NixOS/nixpkgs/issues/184826 for context. `systemctl status` now [reports](https://github.com/systemd/systemd/pull/22984) `Tainted: unmerged-usr` when `/bin` is not a...

Document the fact that the tactics plugin turns on -Wincomplete-patterns

3

**Is your feature request related to a problem? Please describe.** I just spent a long time troubleshooting why I was getting diagnostics for incomplete patterns despite explicitly disabling the incomplete-patterns...

Named SVG icons are scaled to max_icon_size

1

### Issue description `dunstify -i dialog-information a`  ### Installation info - Version: 6c9f83bcdd8e9eb5d81c3f6c43e2dfa5afd72fe7 - Install type: NixOS Minimal dunstrc: ```ini [global] width="(0, 1200)" height=9999 enable_recursive_icon_lookup=yes icon_theme="Flat-Remix-Violet-Dark" min_icon_size=64 max_icon_size=500 ```

[cubical] Weird error when checking boundaries of HITs with paths-between-hcomps constructors

3

This code: ```agda {-# OPTIONS --cubical #-} open import Cubical.Foundations.Prelude data T : Type where base : T p : base ≡ base surf : p ∙ p ≡ p...

Don't look for agda-lib files in /nix/store

8

I'm using Agda on NixOS. When messing around trying to build some agda project with Nix, I ended up adding its `agda-lib` file to the Nix store, i.e. I had...

flake-info: fix compilation warnings

4

Removes some dead code, including the unimplemented `--elastic-user`, `--elastic-pw` and `--gc` flags. Builds and tests with no warnings.