davidbgk

"""Reloads the `my_turtle.py` code on save.

Put simple turtle instructions in the `my_turtle.py` file,
and they'll be re-run (on a clean window) on each file save.

Usage:
1/ put some turtle instructions in a `my_turtle.py` file
   (eg `turtle.forward(100)`)
2/ run `python watch_turtle.py` on a commandline
   (no dependencies needed)

davidbgk

Book production files

For Out of the Software Crisis.

These are under the MIT License. Do what you want, essentially. Probably doesn't work out of the box. Uses Pandoc, zx, weasyprint, and Literata.

You'll need to download them for this to work. And you'll need to edit the build script to point at the correct CSS files. And you'l need to edit the CSS to point at the correct font files.

davidbgk

Python

This is my recommended Python setup, as of Fall 2022. The Python landscape can be a confusing mess of overlapping tools that sometimes don't work well together. This is an effort to standardize our approach and environments.

Tools and helpful links:

• Python docs: https://docs.python.org/3/
• Python Standard Library: https://docs.python.org/3/library/index.html - Start here when you're trying to solve a specific problem
• pip: https://pip.pypa.io/en/stable/ - Python's standard package installer, included with the language itself
• pipx: https://pipxproject.github.io/pipx/ - Global script installer, built on top of pip

davidbgk

def server_app(environ, start_response):
    method = environ.get('REQUEST_METHOD', 'GET')
    if method == 'GET':
        return get_response(start_response)
    elif method == 'POST':
        accept_header = environ.get('HTTP_ACCEPT', '*/*')
        post_data = environ.get('wsgi.input').read()
        return post_response(start_response, accept_header, post_data)

davidbgk

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

davidbgk

// Licensed under a CC0 1.0 Universal (CC0 1.0) Public Domain Dedication
// http://creativecommons.org/publicdomain/zero/1.0/

(function (win,doc) {
    'use strict';
    if (!win.FileReader || !win.addEventListener || !doc.querySelectorAll) {
        // doesn't cut the mustard.
        return;
    }
    doc.querySelectorAll('input[type="file"][accept="image/*"]').forEach( function (fileInput) {

davidbgk

Woof is an amazingly simple and effective file exchange tool:
http://www.home.unix-ag.org/simon/woof.html
This distribution doesn't include simon Budig's original woof
(that started breaking for me), but Edward Samson's fork:
https://bitbucket.org/edu/woof

Desktop helper scripts:
filewoof and folderwoof "open with" actions for nautilus etc.
and woofget that runs "woof -U" in a terminal window in /tmp
(e.g. for a launcher button)

davidbgk

/* Ultra lightweight Github REST Client */
// original inspiration via https://gist.github.com/v1vendi/75d5e5dad7a2d1ef3fcb48234e4528cb
const token = 'github-token-here'
const githubClient = generateAPI('https://api.github.com', {
  headers: {
    'User-Agent': 'xyz',
    'Authorization': `bearer ${token}`
  }
})

davidbgk

/*
  Create or edit userChrome.css in your Firefox profile folder,
  typically found on Linux at ~/.mozilla/firefox/[some firefox profile folder]/chrome/userChrome.css
*/

.urlbarView-row[label]{
  margin-block-start: 0 !important;
}

.urlbarView-row[label]::before{

davidbgk

.PHONY:test
test:
	rm -rf ./my-profile; mkdir ./my-profile && echo "user_pref('devtools.console.stdout.content', true);user_pref('dom.allow_scripts_to_close_windows', true);user_pref('datareporting.policy.firstRunURL', '');" > ./my-profile/user.js && firefox --headless -profile ./my-profile -no-remote `pwd`/index.html | sed -n "/console.log: /p" | sed -e 's/console.log: "//' -e 's/"$$//' | ./tapview