🧙‍♀️

Josh Lee jleedev

🧙‍♀️

@Copilot eunt domus

jleedev / Dockerfile

Last active June 15, 2022 16:59

natural earth

	FROM debian:bullseye AS builder

	RUN apt-get update && apt-get -y install gdal-bin build-essential git curl libsqlite3-dev zlib1g-dev

	WORKDIR /build
	RUN git clone https://github.com/mapbox/tippecanoe
	RUN cd ./tippecanoe && make && make install

	RUN curl -OL https://www.naturalearthdata.com/http//www.naturalearthdata.com/download/10m/cultural/ne_10m_admin_0_countries_lakes.zip
	RUN ogr2ogr ne_10m_admin_0_countries_lakes.geojson /vsizip/ne_10m_admin_0_countries_lakes.zip

jleedev / checker.py

Last active June 2, 2022 21:42

	size=512
	print(f'''<?xml version="1.0" encoding="UTF-8"?>
	<svg xmlns="http://www.w3.org/2000/svg" width="{size//2}" height="{size//2}" viewBox="0 0 {size} {size}">
	<rect width="{size}" height="{size}"/>
	<path d="M0,0''')
	for i in range(size//2):
	print(f'V{size}h1V0zm2 0')
	print('M0,0')
	for i in range(size//2):
	print(f'H{size}v1H0zm0 2')

jleedev / Dockerfile

Created May 24, 2022 20:53

extremely normal shell script

	FROM ubuntu

	RUN apt-get update
	RUN apt-get -y install gdal-bin

	RUN apt-get -y install jq

	RUN >x.csv printf 'id,WKT\n1,%s\n' "$(echo '[[0.2,0.2],[0.75,0.75],[0.25,0.75],[0.2,0.2]]' \
	\| jq '(2(-1\|acos)6378137)as$c\|[.[]\|[(.[0]-0.5)$c,(0.5-.[1])$c]\|join(" ")]\|join(",")\|"LINESTRING("+.+")"')"; \
	echo EPSG:3857 >x.prj

jleedev / gist:b8eb3fcb97b5a443071dde47a1e8e8f6

Created January 30, 2022 15:32

	mysql> create table t(f float);
	Query OK, 0 rows affected (0.02 sec)

	mysql> insert into t(f) values (999999),(1000000),(1000001);
	Query OK, 3 rows affected (0.00 sec)
	Records: 3 Duplicates: 0 Warnings: 0

	mysql> select * from t;
	+---------+
	\| f \|

jleedev / import maps.html

Last active September 1, 2021 20:42

	<!doctype html>
	<meta charset=utf-8>

	<script type=🧩 id=lodash>
	import content from "lodash/content";
	const p = document.createElement("p");
	p.textContent = content;
	export default () => p.cloneNode(true);
	</script>

jleedev / kmart.geojson

Created August 19, 2021 14:52

Sorry, something went wrong. Reload?

Sorry, we cannot display this file.

Sorry, this file is invalid so it cannot be displayed.

jleedev / avahi-exporter.py

Last active October 6, 2021 02:41

	#!/usr/bin/env python3

	import io
	import json
	import socket

	def q(s):
	# For double quotes
	return json.dumps(s, ensure_ascii=False)

jleedev / reverse.py

Created October 24, 2019 15:54

jleedev / .gvimrc

Last active January 23, 2019 13:33

dark mode

	function! SetMode()
	call system("defaults read -g AppleInterfaceStyle")
	if v:shell_error
	se bg=light
	else
	se bg=dark
	endif
	endfunction
	call SetMode()

jleedev / pa.sh

Created September 1, 2018 14:05

	#!/bin/bash
	# vi: ts=2 sw=2 et

	set -eu
	type node \|\| source "$NVM_DIR/nvm.sh"
	type pip \|\| source ./venv/bin/activate
	type curl osmtogeojson tippecanoe aws
	set -x

	query='[out:json];