-
-
Notifications
You must be signed in to change notification settings - Fork 3.6k
Build: skip build based on commands' exit codes #9649
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 1 commit
abc767e
cd91bf5
7c110db
f67209c
ced9655
b0c7e6f
fc2dfa8
f9eecb4
0ca2fc6
428f45d
6ba8aae
111ee35
a41cbf2
dc79701
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1,11 @@ | ||
# -*- coding: utf-8 -*- | ||
|
||
"""Doc build constants.""" | ||
|
||
import structlog | ||
import re | ||
|
||
import structlog | ||
from django.conf import settings | ||
|
||
|
||
log = structlog.get_logger(__name__) | ||
|
||
PDF_RE = re.compile('Output written on (.*?)') | ||
|
@@ -30,3 +28,11 @@ | |
DOCKER_OOM_EXIT_CODE = 137 | ||
|
||
DOCKER_HOSTNAME_MAX_LEN = 64 | ||
|
||
# Why 183 exit code? | ||
# | ||
# >>> sum(list('skip'.encode('ascii'))) | ||
# 439 | ||
# >>> 439 % 256 | ||
# 183 | ||
RTD_SKIP_BUILD_EXIT_CODE = 183 | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I brought up the point that perhaps we want support for more explicit codes here. If so, perhaps we should choose a less arbitrary value here and allocate a block of exit codes. 183 is in a safe range for posix standards at least though: But, do we want something like:
Not to say we're implementing everything now, but if we will have more than one exit code, I'd suggest starting from a value that doesn't seem so arbitrary. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Yeah, I checked for this as well and I was happy that "skip" was in that range 😄
This looks interesting, but right now I'm not seeing a clear usage for other useful exit codes. We can keep thinking about this and see if we find some other useful cases. In any case, we can reserve the range 180-185 and start with 183 for this one; there is no need to make them consecutive. |
Uh oh!
There was an error while loading. Please reload this page.