This file contains 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
| <?xml version="1.0"?> | |
| <!DOCTYPE fontconfig SYSTEM "fonts.dtd"> | |
| <fontconfig> | |
| <alias> | |
| <family>monospace</family> | |
| <prefer><family>PragmataPro Mono</family></prefer> | |
| <default><family>PragmataPro Mono</family></default> | |
| </alias> | |
| <alias> | |
| <family>serif</family> |
ivan
/ git warning
Created
December 24, 2015 18:12
This file contains 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
| 2015-12-24T18:10:43Z CLONE 141320 gabriel/yajl-objc | |
| remote: warning: refname '57ad43b853f069953c702c5f5d1f639e576a214c' is ambiguous. | |
| remote: Git normally never creates a ref that ends with 40 hex characters | |
| remote: because it will be ignored when you just specify 40-hex. These refs | |
| remote: may be created by mistake. For example, | |
| remote: | |
| remote: git checkout -b $br $(git rev-parse ...) | |
| remote: | |
| remote: where "$br" is somehow empty and a 40-hex ref is created. Please | |
| remote: examine these refs and maybe delete them. Turn this message off by |
This file contains 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
| extern crate num; | |
| use num::{BigUint, Zero, One}; | |
| use std::mem::replace; | |
| struct Fib { | |
| f1: BigUint, | |
| f2: BigUint | |
| } |
This file contains 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
| // ==UserScript== | |
| // @name Fix IRCCloud | |
| // @namespace fixirrcloud | |
| // @include *://www.irccloud.com/* | |
| // @grant none | |
| // ==/UserScript== | |
| var styles = ` | |
| /* Normal message lines */ | |
| .authorWrap { |
This file contains 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/python | |
| import sys | |
| import json | |
| obj = json.load(sys.stdin) | |
| def fix_save_path(p): | |
| p = p.replace('\\', '/') | |
| if p[1:3] == ':/': | |
| p = '/mnt/' + p[0] + '/' + p[3:] |
ivan
/ elixir-fonts.js
Last active
July 13, 2016 03:15
Userscript to fix fonts on elixir-lang.org, normalizing font sizes in Getting Started and /docs/
This file contains 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
| // ==UserScript== | |
| // @name Fix fonts sizes on elixir-lang.org | |
| // @namespace elixirfonts | |
| // @include *://elixir-lang.org/* | |
| // @version 1 | |
| // @grant none | |
| // ==/UserScript== | |
| var styles = ` | |
| body, .content-inner { |
ivan
/ irccloud.js
Last active
July 31, 2016 08:49
Align irccloud nick gutter and tweak default theme
This file contains 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
| // ==UserScript== | |
| // @name Fix IRCCloud | |
| // @namespace fixirrcloud | |
| // @include *://www.irccloud.com/* | |
| // @grant none | |
| // ==/UserScript== | |
| var styles = ` | |
| /* Normal message lines */ | |
| .authorWrap { |
ivan
/ userscript-github.js
Last active
August 31, 2016 22:08
Fix styles on github.com and gist.github.com
This file contains 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
| // ==UserScript== | |
| // @name GitHub: Fix styles | |
| // @namespace github_styles | |
| // @include *://github.com/* | |
| // @include *://gist.github.com/* | |
| // @version 1 | |
| // @grant GM_addStyle | |
| // ==/UserScript== | |
| // Note: colors are calibrated for a TN panel at low brightness, redshift -O 4500 |
This file contains 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/fish | |
| set here (pwd) | |
| and set out $here/ubuntils.deb | |
| and set git_temp (mktemp -d) | |
| and cd $git_temp; and git clone -q -b bien ~/code/system/ubuntils | |
| and set deb_temp (mktemp -d) | |
| and cd $deb_temp |
ivan
/ gist:9f5b06fd9ef98e5f1197506b98c11d90
Created
September 20, 2016 23:15
This file contains 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
| wget 'https://www.googleapis.com/download/storage/v1/b/chromium-browser-snapshots/o/Linux_x64%2F407803%2Fchrome-linux.zip?alt=media' -O 407803.zip | |
| wget 'https://www.googleapis.com/download/storage/v1/b/chromium-browser-snapshots/o/Linux_x64%2F407808%2Fchrome-linux.zip?alt=media' -O 407808.zip |
OlderNewer