From 45f352f9cb3bdc16048a0f0d70eef6a59272472b Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 23 Aug 2021 13:06:15 -0400 Subject: 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. --- Biz/Bild/ShellHook.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Biz/Bild') 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)> ' -- cgit v1.2.3