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
| #!/usr/bin/env python3 | |
| """ | |
| Example usage: | |
| $ pip install reportlab pillow | |
| $ ./overlay.py these-lemaire.tiff 'ocr/{p}.json' these-lemaire.pdf | |
| """ | |
| import argparse | |
| import json |
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
| import docutils.nodes | |
| import sphinx.roles | |
| class CiteRole(sphinx.roles.XRefRole): | |
| def result_nodes(self, document, env, node, is_ref): | |
| keys = node['reftarget'].split(',') | |
| refnodes = [ | |
| docutils.nodes.reference(classes=['citation'], refuri=key) | |
| for key in keys] |
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
| # /etc/systemd/system/docker.service.d/override.conf | |
| # TODO: use systemd-automount? | |
| # defeats the purpose of the /net discovering service, though | |
| [Service] | |
| # trigger mount (share is /docker) | |
| ExecStartPre=/usr/bin/stat /net/SERVER/docker | |
| # umount | |
| ExecStopPost=/usr/bin/umount /net/SERVER/docker |
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
| #!/bin/bash | |
| set -e | |
| fatal() { | |
| echo $@ | |
| exit 1 | |
| } | |
| repo=$1 |
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
| from curio import run, spawn, open_connection, sleep | |
| import argparse | |
| import collections | |
| import re | |
| TOKEN = re.compile(r'([\S]{3,})', re.I) | |
| async def client(opts): | |
| q = collections.deque(maxlen=opts.window) |
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
| def kth_perm(n, k): | |
| res = list(range(n)) | |
| for i in range(n): | |
| f = math.factorial(n - i - 1) | |
| s, m = divmod(k, f) | |
| if m == 0 and s == 0: | |
| break | |
| if s > 0: | |
| for j in range(i - 1 + s, i - 1, -1): | |
| res[j-1], res[j] = res[j], res[j-1] |
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
| #!/usr/bin/env python | |
| from PIL import Image, ImageDraw, ImageFont | |
| import io | |
| import re | |
| import requests | |
| import subprocess | |
| import time | |
| FNAME = '/tmp/wallpaper' |
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
| import ast | |
| import copy | |
| from pathlib import Path | |
| import asttokens | |
| import astunparse | |
| import string | |
| LOGGING_METHODS = {'debug', 'info', 'warn', 'warning', 'exception', 'error', 'fatal', 'critical'} |
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
| import django | |
| django.setup() | |
| from problems.models import Challenge | |
| from prologin.languages import Language | |
| import requests | |
| from pathlib import Path | |
| def get_in_out(p, tests, name): | |
| refs = Path(p.file_path()).rglob('ref.*') |
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
| # Displays the currently playing media at FIP radio | |
| # http://www.fipradio.fr/player | |
| # You may want to update the number at the end of the URL | |
| # if you use a specific "style" channel instead of the | |
| # generic (main) channel, which is 7. | |
| import requests | |
| import time | |
| import subprocess |