Guillaume Maudoux layus
layus
/ stan_original.html
Created
June 23, 2021 08:02
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
| <!DOCTYPE HTML> | |
| <html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="description" content="Stan Report"><meta name="keywords" content="Haskell, Static Analysis"><meta name="author" content="Kowainik"><title>Stan Report</title><style>html,body{height:100%;width:100%;margin:0% 0% 0% 0%;padding:0% 0% 0% 0%;left:0%;top:0%;font-family:sans-serif;font-size:100%;color:#616161;line-height:1.5}h1{font-size:2.5rem}h2{font-size:2rem}h3{font-size:1.375rem}h4{font-size:1.125rem}h5{font-size:1rem}h6{font-size:0.875rem}p{font-size:1.125rem;font-weight:200;line-height:1.8}.centre{text-align:center;margin-left:auto;margin-right:auto}.container{width:90%;margin-left:auto;margin-right:auto}.row{position:relative;width:100%}.row [class^='col']{float:left;margin-top:0.5rem;margin-bottom:0.5rem;margin-left:2%;margin-right:2%;min-height:0.125rem}.col-1,.col-2,.col-3,.col-4, |
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
| # i3 config file (v4.4) | |
| # vim: ft=i3 | |
| # This file was generated by nix. Do not edit. | |
| workspace_auto_back_and_forth yes | |
| set $mod Mod4 | |
| # font for window titles. ISO 10646 = Unicode |
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
| # i3 config file (v4.4) | |
| # vim: ft=i3 | |
| # This file was generated by nix. Do not edit. | |
| workspace_auto_back_and_forth yes | |
| set $mod Mod4 | |
| # font for window titles. ISO 10646 = Unicode |
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
| # i3 config file (v4.4) | |
| # vim: ft=i3 | |
| # This file was generated by nix. Do not edit. | |
| workspace_auto_back_and_forth yes | |
| set $mod Mod4 | |
| # font for window titles. ISO 10646 = Unicode |
layus
/ sway-config
Last active
December 28, 2020 20:57
Start application in scratchpad, no worries :-)
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
| exec sway-exec |
layus
/ hnix.eventlog.json
Created
December 10, 2020 20:11
This file has been truncated, but you can view the full file.
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
| {"profiles":[{"endValue":29755,"startValue":0,"name":"/home/gmaudoux/projets/hnix-all/dist-newstyle/build/x86_64-linux/ghc-8.10.1/hnix-0.11.0/x/hnix/build/hnix/hnix","samples":[[495],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,488,485,2040,2041,2070,494,2056,2084,482,472,2098,476,483],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,488,485,2040,2041,2070,494,2056,2084,482,493,483,472,2098,476,481,480],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,256,239,632,602,719],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,256,239,632,488,485,2040,2041,2070,494,2056,2084,482,493,483,472,2098],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,256,239,632,488,485,2040,2041,2070,494,2056,2084,482,472,2098],[55,563,421,80,190,240,245,241,340,248,254,419,102,104,138,167,545,553,554,225,256,239,632,48 |
layus
/ streamNar.diff
Last active
October 28, 2020 13:43
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
| diff --git a/hnix-store-remote/src/System/Nix/Store/Remote.hs b/hnix-store-remote/src/System/Nix/Store/Remote.hs | |
| index 4c9f63c..65359db 100644 | |
| --- a/hnix-store-remote/src/System/Nix/Store/Remote.hs | |
| +++ b/hnix-store-remote/src/System/Nix/Store/Remote.hs | |
| @@ -10,7 +10,7 @@ | |
| module System.Nix.Store.Remote | |
| ( | |
| addToStore | |
| - , addToStoreNar | |
| + --, addToStoreNar |
This file has been truncated, but you can view the full file.
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
| warning: Hashing 'source:sha256:51858393c5698aba2e7c4e2832054a6985ab3eeda5db7373db5627d0acceefa8:/nix/store:default-builder.sh' with '44' | |
| warning: base16: sha256:2bed0812dd5e01e3c02e1556d65e31deee4ff34c80e52e52bef64e8916b35275 | |
| warning: base32: sha256:0xajncb8jkpnpr92xrc09krlzvny65gdcmhm5v0f60ayvl90iv9b | |
| warning: base64: sha256:K+0IEt1eAePALhVW1l4x3u5P80yA5S5SvvZOiRazUnU= | |
| warning: Compressed '0xajncb8jkpnpr92xrc09krlzvny65gdcmhm5v0f60ayvl90iv9b' to size 20: '9krlzvny65gdc8s7kpb6lkx8cd02c25b' | |
| warning: Hashing 'source:sha256:14cdf465e9eb9f3f6819e038ec9fcb911d5f2f69cb5db19a07a0112b636217ce:/nix/store:unpack-bootstrap-tools.sh' with '44' | |
| warning: base16: sha256:8d6414e8533a93746256cae348d0100ebfcbdbe785084ef6f62bc40036eb9c87 | |
| warning: base32: sha256:11wwxcv01i1byvv4w245wzdwpgqf2384iqyaari794rsagl18r4d | |
| warning: base64: sha256:jWQU6FM6k3RiVsrjSNAQDr/L2+eFCE729ivEADbrnIc= | |
| warning: Compressed '11wwxcv01i1byvv4w245wzdwpgqf2384iqyaari794rsagl18r4d' to size 20: 'wzdwpgqf2384hr2npma78mqillg5lv08' |
layus
/ default.nix
Last active
August 9, 2020 14:16
pkgs/os-specific/linux/firmware/firmware-linux-nonfree/default.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
| { fetchgit, lib, gnumake }: | |
| let | |
| version = "2020-01-22"; | |
| pname = "firmware-linux-nonfree"; | |
| in (fetchgit { | |
| name = "${pname}-${version}"; | |
| url = "https://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git"; | |
| rev = lib.replaceStrings ["-"] [""] version; | |
| sha256 = "1d2jvy395jpfq0gli7q5p571lcb9p5y0y8qr8p8rlcmczh4gry64"; |
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
| commit e12d0b0d159715c8720a975dd2f23be3df21b097 | |
| Author: Franz Pletz <[email protected]> | |
| Date: Wed Jan 29 03:20:58 2020 +0100 | |
| firmwareLinuxNonfree: 2019-12-15 -> 2020-01-22 | |
| diff --git pkgs/os-specific/linux/firmware/firmware-linux-nonfree/default.nix pkgs/os-specific/linux/firmware/firmware-linux-nonfree/default.nix | |
| index 6e535cce898..1a454cb8957 100644 | |
| --- pkgs/os-specific/linux/firmware/firmware-linux-nonfree/default.nix | |
| +++ pkgs/os-specific/linux/firmware/firmware-linux-nonfree/default.nix |