diff options
| author | Ben Sima <ben@bsima.me> | 2021-08-23 13:06:15 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:38 -0500 |
| commit | 45f352f9cb3bdc16048a0f0d70eef6a59272472b (patch) | |
| tree | 7cae4b608e45360085d950d7c14d80911ce46b7c /Biz/Bild | |
| parent | aa2eb2d3e08fb74b93acc9608a78582834a65e8c (diff) | |
Fix GitHub OAuth args
This makes it explicit that we are using GitHub vs some other OAuth args. The
idea is that we should be making a new type for every service, this allows us to
have type safety in the implementation but a common set or pattern of names for
the environment variables and record fields.
Also using 'notset' instead of 'mempty' is really helpful for debugging when
this breaks, as I found out.
Diffstat (limited to 'Biz/Bild')
| -rw-r--r-- | Biz/Bild/ShellHook.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh index 11954a7..00cd65a 100644 --- a/Biz/Bild/ShellHook.sh +++ b/Biz/Bild/ShellHook.sh @@ -79,7 +79,7 @@ function sentry() { function run-ci() { lint **/* && bild --test **/* } -alias ci="time run-ci" +alias ci="time timeout 5m run-ci" export PS1='\n$(r=$? && [ $r -eq 0 ] && printf "biz" || printf "%3.*s" $r $r)> ' |