Skip to content

Instantly share code, notes, and snippets.

View layus's full-sized avatar

Guillaume Maudoux layus

48 followers · 0 following
View GitHub Profile
@layus
layus / interro2018.oz
Created November 9, 2018 10:01
% All in one, tail-rec.
declare
proc {Entrelacer As Bs Cs Xs Ys Zs}
case As#Bs#Cs
of nil#nil#nil then Xs = Ys = Zs = nil
[] (A|Ar)#(B|Br)#(C|Cr) then Xr Yr Zr in
Xs = A|Xr
Ys = B|Yr
Zs = C|Zr
{Entrelacer Ar Br Cr Zr Xr Yr}
@layus
layus / split.sh
Created November 19, 2018 21:00
# Split the logs in separate files
echo Splitting...
csplit r-ryantm '/2018-..-..T..:..:.. .* [^ ]* -> [^ ]*/' '{*}' 1>/dev/null
# rename xx* to xx*-package-name
echo Renaming...
parallel -j30 "mv {} {}-\$(head -n1 {} | cut -d' ' -f2)" ::: xx*
echo Separating...
@layus
layus / parser.log
Last active November 29, 2018 16:29
applying rule compilationUnit at 'functor'
applying rule cuDirective at 'functor'
Token showSwitches not recognized
Token pushSwitches not recognized
Token popSwitches not recognized
Token localSwitches not recognized
rule cuDirective failed.
applying rule cuDeclare at 'functor'
Token declare not recognized
Token declare not recognized
@layus
layus / paths.nix
Created March 28, 2019 20:52
with import <nixpkgs> {};
let
path = ./mwe;
string = "./mwe";
pathPath = path + /test/file.nix;
pathString = path + "/test/file.nix";
pathStringPath = path + "/test" + /file.nix;
stringPath = string + /test/file.nix;
stringPathWorking = string + /nix/var/nix/db/schema;
@layus
layus / meaningful source name
Created June 20, 2019 23:47
"/nix/store/zn5rlnf1cirmxzxyfi36hsbw0yjg6ssd-shadow-4.6-source"
"/nix/store/1fdm0vcry80irr3y98i0nrb48gwrlxvz-libuv-v1.29.1-source"
"/nix/store/nb92q23n5jpgi5mjkaay1gzfwvr30xi7-RHash-v1.3.8-source"
"/nix/store/gbf86xf6s65h7240qnkvvs1ljbp6fsyh-nasm-2.14.02-source"
"/nix/store/fl10j5cfyb4g3jjnc697naljkrqnm2wl-w3m-v0.5.3+git20190105-source"
"/nix/store/0s9xhcd2ddiqrzyanpwp6c666wx7l3ip-hypothesis-python-4.7.3-source"
"/nix/store/0ibjqmzbjrw5p6zwy4ikvbx41jpgxpy0-OpenBLAS-v0.3.6-source"
"/nix/store/kqkpif5d1syg4wap89bj9yv39g91hscm-python-jsonrpc-server-0.1.2-source"
"/nix/store/fwrhhraxnyky878321dnz34psvqnq7dj-protobuf-c-9412830d-source"
"/nix/store/fahnxa6bzw0ryhmg71mqbn5ghxv328sn-protobuf-v3.7.1-source"
@layus
layus / debug.md
Created September 7, 2019 19:27
canon capt debug

test.sh

$ git -C /nixpkgs/ rev-parse HEAD | tee HEADREF
20a5711ff141848da97153901a225f4a6a84d05b

setup-printer.sh

PNAME=LBP3050

@layus
layus / pulse-cookie
Created September 29, 2019 23:25
@layus
layus / missing-cookie
Created September 29, 2019 23:30
@layus
layus / config
Created October 8, 2019 11:48
docked {
output "Dell Inc. DELL U2415 7MT0196H25AS" mode 1920x1200 transform 270 position 0,0
output eDP-1 mode 1920x1080 position 1200,840
exec bash $HOME/.config/kanshi/docked.sh
}
undocked {
output eDP-1 mode 1920x1080 position 0,0
}
@layus
layus / config.nix
Created January 29, 2020 14:09
{ stdenv }:
{ paths }:
with stdenv.lib;
let installSanePath = path: ''
if [ -e "${path}/lib/sane" ]; then
find "${path}/lib/sane" -maxdepth 1 -not -type d | while read backend; do
symlink "$backend" "$out/lib/sane/$(basename "$backend")"
done