mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-25 21:11:00 +00:00
20 lines
821 B
Python
Executable file
20 lines
821 B
Python
Executable file
#!/usr/bin/python3
|
|
import os, subprocess, sys
|
|
|
|
if __name__ == "__main__":
|
|
diffsdir = 'plugins-cache-diffs'
|
|
os.makedirs(diffsdir, exist_ok=True)
|
|
res = 0
|
|
try:
|
|
subprocess.check_call(['git', 'diff', '--quiet'] )
|
|
except subprocess.CalledProcessError:
|
|
diffname = os.path.join(diffsdir, 'plugins_cache.diff')
|
|
res += 1
|
|
with open(diffname, 'w') as diff:
|
|
subprocess.check_call(['git', 'diff'], stdout=diff)
|
|
print('\033[91mYou have a diff in the documentation cache. Please update with:\033[0m')
|
|
print(' $ curl %s/%s | git apply -' % (os.environ['CI_ARTIFACTS_URL'], diffname.replace('../', '')))
|
|
|
|
if res != 0:
|
|
print('(note that it might take a few minutes for artefacts to be available on the server)\n')
|
|
sys.exit(res)
|