#!/usr/bin/env python3 """Inline every *.frag next to this file into playground.html (keys 1..N switch, mouse = u_mouse).""" import glob, json, os here = os.path.dirname(os.path.abspath(__file__)) frags = sorted(glob.glob(os.path.join(here, "*.frag"))) names = [os.path.basename(f)[:-5] for f in frags] srcs = [open(f).read() for f in frags] html = """