Skip to content

Instantly share code, notes, and snippets.

@ryantm
ryantm / -
Created January 15, 2020 14:40
{ AMB-plugins = { homepage = "http://kokkinizita.linuxaudio.org/linuxaudio/ladspa/index.html"; version = "0.8.1"; }; AgdaSheaves = { homepage = "https://github.com/jonsterling/Agda-Sheaves"; version = "8a06162a8f0f7df308458db91d720cf8f7345d69"; }; AgdaStdlib = { homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; version = "1.1"; }; CoinMP = { homepage = "https://projects.coin-or.org/CoinMP/"; version = "1.8.4"; }; EmptyEpsilon = { homepage = "https://daid.github.io/EmptyEpsilon/"; version = "2019.11.01"; }; FIL-plugins = { homepage = "http://kokkinizita.linuxaudio.org/linuxaudio/ladspa/index.html"; version = "0.3.0"; }; Fabric = { homepage = "https://www.fabfile.org/"; version = "2.5.0"; }; LASzip = { homepage = "https://laszip.org"; version = "2.2.0"; }; MMA = { homepage = "http://www.mellowood.ca/mma/index.html"; version = "19.08"; }; PPSSPP = { homepage = "https://www.ppsspp.org/"; version = "1.9.3"; }; QmidiNet = { homepage = "http://qmidinet.sourceforge.net/"; versio
[ryantm@home1:~/p]$ cd nixpkgs-update-github-releases/
[ryantm@home1:~/p/nixpkgs-update-github-releases]$ ls
loadMetaFromPath.nix main.py
[ryantm@home1:~/p/nixpkgs-update-github-releases]$ ./main.py
these derivations will be built:
/nix/store/3mfkyds29036s600bqcg7iwsg8afi11z-python3-3.7.5-env.drv
building '/nix/store/3mfkyds29036s600bqcg7iwsg8afi11z-python3-3.7.5-env.drv'...
created 270 symlinks in user environment
unpacking 'https://github.com/nixos/nixpkgs/archive/master.tar.gz'...
error: cannot convert a function to JSON
let
pkgs = import <nixpkgs> {};
in
pkgs.stdenv.mkDerivation rec {
pname = "my-library";
version = "0.0.0";
src = ./.;
buildInputs = with pkgs; [ caf ];
@ryantm
ryantm / -
Created January 7, 2020 16:33
16 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/man/man1
16 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/man
28 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/remmina/external_tools
236 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/remmina/ui
832 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/remmina/theme
4 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/remmina/res
1100 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/remmina
12 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/icons/hicolor/16x16/apps
12 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/icons/hicolor/16x16
12 /nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9/share/icons/hicolor/22x22/apps
@ryantm
ryantm / -
Created January 7, 2020 16:33
/nix/store/268jma31f1lmhjsfp0v1d7z6ynhpk3p2-remmina-1.3.9
├── bin
│   ├── gnome-session-remmina
│   ├── remmina
│   ├── remmina-file-wrapper
│   └── remmina-gnome
├── include
│   └── remmina
│   ├── plugin.h
│   ├── remmina_trace_calls.h
@ryantm
ryantm / -
Created January 7, 2020 16:15
656 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/lib
172 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/include/reiser4
96 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/include/repair
268 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/include
16 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/share/man/man8
16 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/share/man
4 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/share/aclocal
20 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/share
228 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0/bin
1176 /nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0
@ryantm
ryantm / -
Created January 7, 2020 16:15
/nix/store/81r2mci6hkq48prs43ndlgd7270f3ql2-reiser4progs-2.0.0
├── bin
│   ├── debugfs.reiser4
│   ├── fsck.reiser4
│   ├── make_reiser4
│   ├── measurefs.reiser4
│   ├── mkfs.reiser4
│   └── volume.reiser4
├── include
│   ├── reiser4
@ryantm
ryantm / -
Created January 7, 2020 15:58
7604 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/bin
40 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/bash-completion/completions
40 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/bash-completion
24 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/fish/vendor_completions.d
24 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/fish
44 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/zsh/site-functions
44 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share/zsh
108 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1/share
7712 /nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1
@ryantm
ryantm / -
Created January 7, 2020 15:58
/nix/store/dzykg7y36x54q5mwz1kkcqxky7y5c5ik-rustup-1.21.1
├── bin
│   ├── cargo -> rustup
│   ├── cargo-clippy -> rustup
│   ├── cargo-fmt -> rustup
│   ├── cargo-miri -> rustup
│   ├── clippy-driver -> rustup
│   ├── rls -> rustup
│   ├── rustc -> rustup
│   ├── rustdoc -> rustup
@ryantm
ryantm / -
Created January 7, 2020 14:33
8 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7/site-packages/yamllint/conf
224 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7/site-packages/yamllint/rules
316 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7/site-packages/yamllint
64 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7/site-packages/yamllint-1.20.0.dist-info
380 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7/site-packages
380 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib/python2.7
380 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/lib
8 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/bin
4 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0/nix-support
392 /nix/store/14jf04ncilmxf8ckjc4adhb11j7wcvqz-python2.7-yamllint-1.20.0