I hereby claim:
- I am mmmattos on github.
- I am mmmattos (https://keybase.io/mmmattos) on keybase.
- I have a public key ASDm9TPdk-teROrD8wbCD_9U_z4-mVVZEn54jK3wvt2ncQo
To claim this, I am signing this object:
set clipboard=unnamed | |
set paste | |
set mouse=a | |
set guifont=Monaco:h15:b | |
set ignorecase | |
set number | |
call plug#begin('~/.local/share/nvim/site/plugged') |
I hereby claim:
To claim this, I am signing this object:
## | |
## Add windows specific apps and tools to be available in GitBash (on Windows OSs): | |
## In this case, we added: | |
## * azure-cli, and | |
## * winmerge | |
## | |
export PATH=$PATH:\ | |
/c/Program\ Files\ \(x86\)/Microsoft\ SDKs/Azure/CLI/bin:\ | |
/c/Program\ Files\ \(x86\)/WinMerge |
# Sample i2of5 barcode generation. | |
from reportlab.pdfgen import canvas | |
from reportlab.lib.pagesizes import A4 | |
from reportlab.lib.units import mm | |
from reportlab.graphics.barcode.common import I2of5 | |
c=canvas.Canvas("barcode_example.pdf",pagesize=A4) | |
tb=0.254320987654 * mm # thin bar | |
bh=20 * mm # bar height |
// ==UserScript== | |
// @name Resize Google Calendar fonts. | |
// @namespace http://profiles.google.com/mmmattos | |
// @version 0.1 | |
// @description To improve browsing readability of google drive | |
// @match https://www.google.com/calendar/* | |
// @require https://gist.github.com/mmmattos/6264214/raw/755d33de2038afe4d82fef4bf41b3824ee25effa/jsLib.js | |
// @copyright 2013, Miguel Mattos | |
// ==/UserScript== |
set lines=32 | |
set columns=96 | |
set visualbell | |
set vb t_vb= |
syntax on 'this is needed to see syntax | |
set background=dark "makes it easier to read with black background | |
set lines=33 | |
set columns=127 |
// @name Resize Quartz fonts. | |
// @namespace http://profiles.google.com/mmmattos | |
// @version 0.1 | |
// @description To improve browsing readability of Quartz | |
// @match qz.com/* | |
// @require https://gist.github.com/mmmattos/6264214/raw/755d33de2038afe4d82fef4bf41b3824ee25effa/jsLib.js | |
// @copyright 2013, Miguel Mattos | |
// ==/UserScript== | |
addCustomStyle('.anno-span { font-weight: bold;font-size: 16px ! important; }'); |
// ========================== | |
// @name Javascript Library | |
// @namespace http://profiles.google.com/mmmattos | |
// @version 0.1 | |
// @description Fubctions to be reused in other scripts. | |
// @copyright 2013, Miguel Mattos | |
// ========================== | |
function addCustomStyle(p_style) { | |
var tags, head, style; | |
tags = document.getElementsByTagName('head'); |
// ==UserScript== | |
// @name Resize Google Drive fonts. | |
// @namespace http://profiles.google.com/mmmattos | |
// @version 0.1 | |
// @description To improve browsing readability of google drive | |
// @match https://drive.google.com/* | |
// @require https://gist.github.com/mmmattos/6264214/raw/755d33de2038afe4d82fef4bf41b3824ee25effa/jsLib.js | |
// @copyright 2013, Miguel Mattos | |
// ==/UserScript== |