Saturday, May 9, 2020

recurring tasks

There are a few recurring tasks:
Each of these tasks take time, so including all of them as git commit hooks induces undesirable latency. 

Currently .git/hooks/pre-commit contains

#!/bin/bash
cd v7_pickle_web_interface/flask
docker run --rm -v`pwd`:/scratch --entrypoint='' -w /scratch/ flask_ub make black

I don't want to run mypy and sphinx every time because that would take a lot of my time.
I could run these two every tenth commit.

To get a command to run every tenth commit, I could leverage the date and run a command if the date is modulo 10.

GIT_AUTHOR_DATE='@1589048959 -0400'

No comments:

Post a Comment