Brian McKenna

I'm using cabal2nix and have to work around this in a few places.

@KarsMulder I've had a quick look through the kernel source and I can't easily see another case where the range is documented that it's allowed to be backwards. I do...

The ADC joystick driver is in the mainline Linux kernel but the weird uses of it (e.g. DTS files) are out of tree today. Even if the device configurations were...

@KarsMulder since evdev events are registered with min/max values, we theoretically know the min/max. Could we add/generate another placeholder (e.g. `z_min`) so that we don't have to hard code the...

I ran something like this: ``` $ adb shell $$ mkdir /sdcard/Download/microG $$ cd /sdcard/Download/microG $$ unzip ../microg*.zip # su # mount -o rw,remount /system # sh uninstall.sh ``` Looks...

Looks like proot exists now so might be able to make this work, even including caching.

Thanks @edanaher, I got Nix 1.12 building in Termux: https://github.com/puffnfresh/termux-packages/tree/package/nix/packages/nix There were a few workarounds needed because of the NDK. Of course, running Nix isn't working for me because my...

@edanaher urgh, I don't have that problem. I think we'll have to use gdb on that :crying_cat_face: Using termux-chroot I have a working /nix, but I can't realise "nix-channels" because...

Judging from https://github.com/termux/termux-packages/issues/498#issuecomment-252906171, it looks like the Android linker doesn't use rpath. I might have to write a dodgy wrapper around /bin/bash

An update, I had to do some massive hacks but I am able to get Nix to give me binaries. For example, nix-repl:  And Emacs:  There's a few...