Skip to content

Instantly share code, notes, and snippets.

View yellowsquid's full-sized avatar

Greg Brown yellowsquid

View GitHub Profile
@yellowsquid
yellowsquid / mkipkg.sh
Created December 2, 2022 16:31
Idris pre-commit hook
#!/usr/bin/env sh
# Fills in a template ipkg file with a concrete list of modules.
# Inputs: space-separated list of module names.
# Outputs: ipkg file including list of modules.
# Save this file in the repository root and add it to the .git/info/exclude file to exclude it from VCS
# This is a template of the IPKG file.
# Customise this template to match the existing ipkg for a project.
cat <<EOF