profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/basile-henry/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Basile Henry basile-henry @MyrtleSoftware Copenhagen, DK | Cambridge, UK https://www.basilehenry.com Senior Software Developer

basile-henry/conflict 8

Conflict is a small esoteric language giving semantics to git merge conflicts

basile-henry/clash-io 4

Run Clash circuits with a SDL frontend

axiomsofchoice/birdstrike 2

A game for the F# Game Jam

acairncross/bomblebee 1

Pico 8 game

basile-henry/aoc2018 1

My solutions to the Advent of Code 2018 puzzles.

basile-henry/cv 1

This is my cv website.

basile-henry/46elks-getting-started 0

46elks API introduction with code examples

basile-henry/alacritty 0

A cross-platform, GPU enhanced terminal emulator

basile-henry/aoc2019 0

Advent of Code 2019 - Learning OCaml

basile-henry/aoc2020 0

Advent of Code 2020

startedquickstrom/quickstrom

started time in 7 hours

push eventbasile-henry/hydra-cli

Basile Henry

commit sha e31910dfaee19788488313dc3925730878b82e35

Support any unsigned int type in BoolFromInt By default the visitor uses u64 for all unsigned ints

view details

push time in 4 days

PR opened nlewo/hydra-cli

Handle new hydra login API issue

Login started failing with the latest version of hydra. For some reason hydra now returns a 302 that redirects to a 500 when login in. I guess that's not an issue for the web frontend that probably dismisses the redirect, unfortunately reqwest follows it.

+4 -0

0 comment

1 changed file

pr created time in 4 days

create barnchbasile-henry/hydra-cli

branch : login-no-redirect

created branch time in 4 days

PR opened nlewo/hydra-cli

Fix parsing issue in project-list

Newer versions of hydra now return json with false/true where they used to have 0/1

+33 -9

0 comment

2 changed files

pr created time in 4 days

push eventbasile-henry/hydra-cli

Basile Henry

commit sha a7fc863e6c3dfb40425b55c15a0fb48e0a654981

Fix parsing issue in project-list

view details

Basile Henry

commit sha 5c06b0bf28c03fc75ec6e6c5fa1649b421862854

Fix warning

view details

push time in 4 days

create barnchbasile-henry/hydra-cli

branch : fix-project-list

created branch time in 4 days

delete branch basile-henry/libgit2

delete branch : config-multiline-comment-chars

delete time in 9 days

startedawwbees/BespokeSynth

started time in 10 days

issue commentrust-lang/cargo

cargo build fails to parse gitconfig

The parsing error is now fixed upstream: https://github.com/libgit2/libgit2/pull/6043

Just need to wait for the next release 😄

portiatrivisonno

comment created time in 10 days

PR opened libgit2/libgit2

Fix config parsing for multiline with multiple quoted comment chars

Fixes #6019

The issue this PR fixes happened when parsing a git config with the following:

  • A multiline variable
  • Multiple quoted comment characters (on separate lines)

NB: comment characters (';' or '#') need to be quoted in order for them to be part of a string, otherwise they indicate the start of a comment. Comments are surprisingly permitted in the middle of a multiline variable.

I have added a small test that showcases the issue and then fixed it in a subsequent commit. The fix is simply to keep the count of quotes in the multiline as an int instead of making it a bool before passing it to the strip_comments function. This seems to work just fine and all the tests now pass. I do wonder what was intended by the boolean "casting" :thinking:

+13 -1

0 comment

3 changed files

pr created time in 15 days

create barnchbasile-henry/libgit2

branch : config-multiline-comment-chars

created branch time in 15 days

fork basile-henry/libgit2

A cross-platform, linkable library implementation of Git that you can use in your application.

https://libgit2.org/

fork in 15 days

startedjamesmunns/brick-mount

started time in 19 days

startedrickwebiii/bazel_fpga_rules

started time in 22 days

issue commentnumtide/treefmt

[formatter.c++] is not supported

I think the toml parser library we use is correct and nix's one is more/too relaxed.

From the toml spec:

A key may be either bare, quoted, or dotted.

Bare keys may only contain ASCII letters, ASCII digits, underscores, and dashes (A-Za-z0-9_-).

So you need to quote c++: [formatter."c++"]

zimbatm

comment created time in 22 days

startedmarceloprates/prettymaps

started time in a month

issue commentNixOS/nixpkgs

Placeholder "out"/passAsFile issue

I have just setup an Ubuntu 18.04 VM and tested both single user and multi-user nix and I can't reproduce :cry:

Maybe the issue is with how multi-user nix was setup? I know the installation flow has changed and these machines had nix installed 3-4 years ago.

basile-henry

comment created time in a month

issue openedNixOS/nixpkgs

Placeholder "out"/passAsFile issue

Describe the bug

Since nixpkgs 20.05, I can't build neovim on Ubuntu (18.04) with multi-user nix. Looking at the derivation closer I suspect the hash that placeholder "out" which is meant to get replaced by the nix store path doesn't get replaced as it should.

➜ nix-build -I https://nixos.org/channels/nixos-21.05/nixexprs.tar.xz -E "(import <nixpkgs> {}).neovim"
these derivations will be built:
/nix/store/gaiqwdjxdryfk00kfvhmi9gf51j6cjh6-neovim-0.4.4.drv
building '/nix/store/gaiqwdjxdryfk00kfvhmi9gf51j6cjh6-neovim-0.4.4.drv'...
Generating remote plugin manifest
mkdir: cannot create directory '/1rz4g4znpzjwh1xymhjpm42vipw92pr73vdgl6xs1hycac8kf2n9': Permission denied
builder for '/nix/store/gaiqwdjxdryfk00kfvhmi9gf51j6cjh6-neovim-0.4.4.drv' failed with exit code 1
error: build of '/nix/store/gaiqwdjxdryfk00kfvhmi9gf51j6cjh6-neovim-0.4.4.drv' failed

I have tested this on Ubuntu (20.04 ) without multi-user nix and it builds just fine. I don't know if it's a Ubuntu 18.04 or a multi-user nix issue.

Steps To Reproduce

  1. Use multi-user nix (on Ubuntu 18.04)
  2. Attempt to build neovim from NixOS 21.05: nix-build -I https://nixos.org/channels/nixos-21.05/nixexprs.tar.xz -E "(import <nixpkgs> {}).neovim"

Expected behavior

I expect it to build properly:

❯ nix-build -I https://nixos.org/channels/nixos-21.05/nixexprs.tar.xz -E "(import <nixpkgs> {}).neovim"
/nix/store/ykq21h7w2cijcky9l98anv28ji6ppg21-neovim-0.4.4

Additional context

I have managed to reduce the bug to a simple derivation that doesn't involve neovim:

On Ubuntu 20.04 (single user nix):

❯ cat $(nix-build -E 'with (import <nixpkgs> {}); stdenv.mkDerivation { name = "test"; buildCommand = "echo ${placeholder "out"} > $out"; passAsFile = "buildCommand"; }')
/nix/store/7bycbkw128kh08k0lvnrz6im75310lyp-test

On Ubuntu 18.04 (multi user nix):

➜ cat $(nix-build -E 'with (import <nixpkgs> {}); stdenv.mkDerivation { name = "test"; buildCommand = "echo ${placeholder "out"} > $out"; passAsFile = "buildCommand"; }')
/1rz4g4znpzjwh1xymhjpm42vipw92pr73vdgl6xs1hycac8kf2n9

Metadata

On Ubuntu 20.04 (single user nix):

❯ nix-shell -p nix-info --run "nix-info -m"
 - system: `"x86_64-linux"`
 - host os: `Linux 5.4.0-80-generic, Ubuntu, 20.04.3 LTS (Focal Fossa)`
 - multi-user?: `no`
 - sandbox: `relaxed`
 - version: `nix-env (Nix) 2.3.15`
 - channels(basile): `"home-manager-21.05, nixos-21.05.2549.a1007637cea, nixpkgs-21.05, nixpkgs-unstable-21.11pre309670.253aecf69ed"`
 - nixpkgs: `/home/basile/.nix-defexpr/channels/nixpkgs`

On Ubuntu 18.04 (multi-user nix):

➜ nix-shell -p nix-info --run "nix-info -m"
- system: `"x86_64-linux"`
- host os: `Linux 4.15.0-142-generic, Ubuntu, 18.04.5 LTS (Bionic Beaver)`
- multi-user?: `yes`
- sandbox: `relaxed`
- version: `nix-env (Nix) 2.3.15`
- channels(niall): `"19.03.tar.gz"`
- channels(aiken): `"nixpkgs-20.09.4132.52090c613ad"`
- channels(basile): `"home-manager-21.05, nixos-21.05.2549.a1007637cea, nixos-19.09-19.09.2522.75f4ba05c63, nixos-20.09-20.09.4393.068984c00e0, nixos-21.05-21.05, nixpkgs-21.05, nixpkgs-unstable-21.11pre310022.14b0f20fa1f"`
- channels(root): `"home-manager-21.05, nixos-21.05.2549.a1007637cea, nixos-19.09-19.09.2522.75f4ba05c63, nixos-20.09-20.09.4393.068984c00e0, nixos-21.05-21.05.2549.a1007637cea, nixpkgs-21.05, nixpkgs-unstable-21.11pre310022.14b0f20fa1f"`
- nixpkgs: `/home/basile/.nix-defexpr/channels/nixpkgs`

On CentOS (multi-user nix) it seems to work just fine:

faye in ~
➜ cat $(nix-build -E 'with (import <nixpkgs> {}); stdenv.mkDerivation { name = "test"; buildCommand = "echo ${placeholder "out"} > $out"; passAsFile = "buildCommand"; }')
these derivations will be built:
  /nix/store/h05sv5g5zafgi3iszj3k6wdw0mjl0j2y-test.drv
building '/nix/store/h05sv5g5zafgi3iszj3k6wdw0mjl0j2y-test.drv'...
/nix/store/kfbippr6hwpib0n074sq57p7z77l27nq-test

faye in ~
➜ nix-shell -p nix-info --run "nix-info -m"
these paths will be fetched (0.00 MiB download, 0.00 MiB unpacked):
  /nix/store/q2dv3cp22zfnl4mspxpbqbdf82rk3kf0-nix-info
copying path '/nix/store/q2dv3cp22zfnl4mspxpbqbdf82rk3kf0-nix-info' from 'https://cache.nixos.org'...
 - system: `"x86_64-linux"`
 - host os: `Linux 4.18.0-147.el8.x86_64, CentOS Linux, 8 (Core)`
 - multi-user?: `yes`
 - sandbox: `relaxed`
 - version: `nix-env (Nix) 2.3.10`
 - channels(root): `"home-manager-20.09, nixos-20.09.3793.cce26cd83d2, nixpkgs-20.09.3793.cce26cd83d2, nixpkgs-unstable-21.05pre282432.311ceed827f"`
 - channels(basile): `"home-manager-20.09, nixos-20.09.3793.cce26cd83d2, nixpkgs-20.09.3793.cce26cd83d2, nixpkgs-unstable-21.05pre282432.311ceed827f"`
 - nixpkgs: `/home/basile/.nix-defexpr/channels/nixpkgs`

So maybe it's just an Ubuntu 18.04 issue?

created time in a month

push eventbasile-henry/nix-home

Basile Henry

commit sha 5c2e3e11260172032db96b361bccd9f057304eac

Update mosh

view details

Basile Henry

commit sha ed941667850cfd894f9d7ac3ce2f805eb747e72f

Fix vscode nix plugin ref

view details

Basile Henry

commit sha e06a23f99b4bb398a35d0f19a9852a447e455b5b

Better bash init on non NixOS

view details

Basile Henry

commit sha a383e3ef8c13696af404c0af86cba8a652060a28

more term/git changes

view details

push time in a month

PR opened langjam/jam0001

[Submit] A proc-macro using first-class comments for error messages

Thank you for the fun event! :smile:

+209 -1

0 comment

6 changed files

pr created time in a month

push eventbasile-henry/jam0001

Basile Henry

commit sha 40579465153fb9d1966473d7eff4fa93904a739e

proc-macro working

view details

Basile Henry

commit sha 149edb96b04458e85ebc781c759dbff4b6350150

Add README

view details

Basile Henry

commit sha 130ea2f0311d45eb0449edd7417380206d25e884

Nicer example

view details

Basile Henry

commit sha fb7f1124c76b224e1e24cddfb444962e2071618a

Refer to variables from scope in error comments

view details

push time in a month

PR opened langjam/jam0001

Add @basile-henry team
+2 -0

0 comment

2 changed files

pr created time in a month

push eventbasile-henry/jam0001

Basile Henry

commit sha 297eeea512eb723ccd845bd3f03fb5c357bd7151

Add @basile-henry team

view details

push time in a month

create barnchbasile-henry/jam0001

branch : basile-henry

created branch time in a month

startedlangjam/jam0001

started time in a month

startedsamsieber/tco

started time in a month

startedawakesecurity/spectacle

started time in a month

startedlangjam/langjam

started time in a month