Naïm Camille Favier

Fixes https://github.com/NixOS/nixpkgs/issues/284162 Shell quoting is honored in the argument to `compgen -W`, which we approximate by not removing the double quotes from the Nix output. A more robust solution would...

Update glibcLocales more often?

4

### Background With every new Unicode release, the glibc locales have to be updated upstream to include the new character information (e.g. for Unicode 15: https://sourceware.org/git/?p=glibc.git;a=commit;h=7fe6734d28feb18acb3c50b13a5f5a52f66d39cf). Some ncurses programs rely...

rc2nix doesn't see sections with colons

3

My `kdeglobals` contains ``` [Colors:View] BackgroundNormal=#000000 ``` `rc2nix` skips that section.

In generated HTML, macro names (for example, the 1lab's [`Regularity.reduce!`](https://1lab.dev/1Lab.Reflection.Regularity.html#6696) macro) have class `Function` at definition site but `Macro` at use site (e.g. [here](https://1lab.dev/1Lab.Reflection.Regularity.html#8042)). ~~Also, there's no rule for `.Macro`...

`test/*interaction/Makefile` doesn't detect tests properly

1

``` $ comm -3

I would like to use hq to select the *contents* of a `pre` tag from some HTML document. Selecting `pre` also prints the `` tag itself, and `pre > *`...

I would like to use `htmlq` to select the *contents* of a `pre` tag, without the `` tag itself. Selecting `pre > *` messes up the formatting.

Keep `.git` when copying flakes to the store?

8

**Is your feature request related to a problem? Please describe.** I'm working on a project that examines its own git log at build time to extract a list of coauthors...

Recognising from Bluetooth headphones works once in a blue moon

2

I am using SongRec 0.4.2 from nixpkgs (https://github.com/NixOS/nixpkgs/blob/4f807e8940284ad7925ebd0a0993d2a1791acb2f/pkgs/applications/audio/songrec/default.nix), PipeWire 1.2.3, and Sony WH-CH720N wireless headphones with BlueZ 5.76 and the "High Fidelity Playback (A2DP sink, codec AAC)" audio profile. When...

Support interactive highlighting

1

This would be nice to have: https://agda.readthedocs.io/en/latest/tools/performance.html#measuring-typechecking-performance > The Agda Emacs mode has an interactive highlighting feature, which highlights the term that is currently being type checked. This can often...