#!/bin/sh set -euC export EDITOR= export PAGER= glregistry() { printf '$ ' sleep 1 printf '%s ' 'glregistry' "$@" sleep 1 echo ../glregistry.py "$@" } glregistry audit-tree example-repo echo glregistry exts-all GL_TEXTURE_MAX_ANISOTROPY echo glregistry groups GL_TEXTURE_MAX_ANISOTROPY echo glregistry enums-tree SamplerParameterF echo glregistry params-tree SamplerParameterF echo glregistry refs glSamplerParameter sleep 10 echo