I hereby claim:
- I am edef1c on github.
- I am edef (https://keybase.io/edef) on keybase.
- I have a public key ASCPm4ELwf7Iypg_CxFDa4Gw8UP-gjK3OR7SPvH_jEtN2Qo
To claim this, I am signing this object:
edef edef1c
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| nixos-rebuild |
edef1c
/ sigevent.c
Last active
August 13, 2019 03:42
proof-of-concept of siglongjmp/ppoll-based signal handling in an event loop
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #define _GNU_SOURCE | |
| #include <err.h> | |
| #include <errno.h> | |
| #include <poll.h> | |
| #include <setjmp.h> | |
| #include <signal.h> | |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <unistd.h> |
edef1c
/ nix-jump.kak
Created
June 9, 2019 12:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| define-command nix-jump %{ | |
| execute-keys <esc><a-i><a-w> | |
| edit %sh{ | |
| if [[ "$kak_selection" =~ ^\<(.*)\>$ ]]; then | |
| path="$(nix-instantiate --find-file "${BASH_REMATCH[1]}")" | |
| else | |
| cd "$(dirname "$kak_buffile")" | |
| path="$(realpath "$kak_selection")" | |
| fi | |
| if [ -d "$path" ]; then |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { pkgs, ... }: | |
| let inherit (pkgs) stdenv qemu getopt; in | |
| { | |
| systemd.additionalUpstreamSystemUnits = [ | |
| "proc-sys-fs-binfmt_misc.automount" | |
| "proc-sys-fs-binfmt_misc.mount" | |
| ]; | |
| environment.etc."binfmt.d/qemu-user.conf".source = stdenv.mkDerivation { | |
| name = "qemu-binfmt"; | |
| inherit (qemu) src; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| macro_rules! for_expr { | |
| ( $lhs:pat in $iter:ident $body:block else $else:block ) => { | |
| for_expr!($lhs in ($iter) $body else $else) | |
| }; | |
| ( $lhs:pat in ($iter:expr) $body:block else $else:block ) => {{ | |
| let mut iter = ::core::iter::IntoIterator::into_iter($iter); | |
| if let Some(mut item) = iter.next() { | |
| loop { | |
| let $lhs = item; | |
| let result = $body; |
edef1c
/ default.nix
Last active
February 3, 2019 18:25
the software for Glasgow, the Scottish Army Knife for electronics, packaged for Nix
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { python3Packages, fetchgit, fetchFromGitHub, sdcc, makeWrapper, yosys, nextpnr, icestorm }: | |
| let | |
| self = python3Packages // (with self; { | |
| fx2 = buildPythonPackage rec { | |
| pname = "fx2"; | |
| version = "0.6"; | |
| src = fetchPypi { | |
| inherit pname version; | |
| sha256 = "c2126cd9fff71e399d664ac0e40958d609e80209ac8950b4e2ca07d2e8fb06d9"; | |
| }; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { pkgs, ... }: | |
| let | |
| doh-proxy = pkgs.callPackage ./doh-proxy.nix {}; | |
| in { | |
| systemd.sockets.doh-stub = { | |
| wantedBy = [ "sockets.target" ]; | |
| socketConfig.Service = "doh-stub.service"; | |
| socketConfig.ListenDatagram = "[::1]:53"; | |
| }; | |
| systemd.services.doh-stub = { |
edef1c
/ gpg-export-ssh-keys
Last active
August 18, 2019 05:03
convert PGP authentication subkeys to OpenSSH authorized_keys format, discarding expiry information
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| set -ue | |
| if [ $# -ne 1 ]; then | |
| echo "usage: $0 [exact PGP user ID]" | |
| exit 255 | |
| fi | |
| gpg --with-colons -k "=$1" |\ | |
| awk -F: '$1 == "sub" && $2 ~ /^[fu]$/ && $12 ~ /a/ { getline; print $10"!" }' |\ |
edef1c
/ keybase.md
Created
August 10, 2017 11:15
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| all: env | |
| install: env | |
| install -D env $(out)/bin/env |