Skip to content

Instantly share code, notes, and snippets.

View dkerkow's full-sized avatar

Daniel Kerkow dkerkow

View GitHub Profile
@dkerkow
dkerkow / Makefile
Last active August 29, 2015 14:09 — forked from mariocesar/Makefile
dark:
gsettings set org.pantheon.terminal.settings background '#00002B2B3636'
gsettings set org.pantheon.terminal.settings foreground '#838394949696'
gsettings set org.pantheon.terminal.settings cursor-color '#9393a1a1a1a1'
gsettings set org.pantheon.terminal.settings palette "#070736364242:#DCDC32322F2F:#858599990000:#B5B589890000:#26268B8BD2D2:#D3D336368282:#2A2AA1A19898:#EEEEE8E8D5D5:#00002B2B3636:#CBCB4B4B1616:#58586E6E7575:#65657B7B8383:#838394949696:#6C6C7171C4C4:#9393A1A1A1A1:#FDFDF6F6E3E3"
light:
gsettings set org.pantheon.terminal.settings background '#fdfdf6f6e3e3'
gsettings set org.pantheon.terminal.settings foreground '#65657b7b8383'
gsettings set org.pantheon.terminal.settings cursor-color '#58586e6e7575'
#!/usr/bin/env python
from json import load, JSONEncoder
from argparse import ArgumentParser, FileType
from re import compile
import sys
float_pat = compile(r'^-?\d+\.\d+(e-?\d+)?$')
charfloat_pat = compile(r'^[\[,\,]-?\d+\.\d+(e-?\d+)?$')