Naïm Camille Favier

I just realised that WeeChat doesn't actually use `wcswidth` to compute string lengths: it displays that in `/debug unicode` but uses its own functions `utf8_strlen_screen` and `gui_chat_strlen_screen`. It looks like...

The reason for https://github.com/agda/agda/commit/b5f667fd4b692cfe444c1d8539a4e41dc157a4b7 was to make my [`unbind` macro](https://github.com/agda/agda/issues/6009#issuecomment-1501781092) useful, but I didn't end up implementing the other changes required for that macro, so it's fine if we just...

> It appears currently "nix" is only used for files ending in ".nix". The hashbang-line is not checked for. This should be added in runtime/autoload/dist/script.vim, in the DetectFromHashBang() function. This...

Ah, that does make sense. I'd like to focus on the easy solution for now: treat the whole file as the interpreted language. I don't think there's much point in...

> What do you need that for? The `-i` argument specifies the name of a program that interprets the current file, so we need some heuristic to map that to...

As an alternative, we could expose `DetectFromHashBang` and then call `DetectFromHashBang('#!/usr/bin/env PROGRAM')`, where `PROGRAM` is the argument to `-i`, but that seems like unnecessary indirection.

Since I'd like to go with the "set the filetype to the interpreted language" solution for now, it's fine if the function sets `filetype` directly. But it's also fine if...

Something that worries me about setting the filetype to `nix` is that, if I understand correctly, LSP clients (e.g. coc.nvim or neovim's native client) tend to choose which server to...

Keep in mind that the interpreter is invoked on the script as-is, nix doesn't remove the `#!` lines. So we already know that the interpreter can deal with those extra...

@andreasabel So, if `Agda_datadir` is set in `data-in-home` mode, do you still want to keep the version-specific subdirectories? Regardless, the only way to avoid breakage entirely would be to turn...