Left: | ||
Right: |
OLD | NEW |
---|---|
1 #!/usr/bin/env python | 1 #!/usr/bin/env python |
2 | 2 |
3 # This file is part of Adblock Plus <https://adblockplus.org/>, | 3 # This file is part of Adblock Plus <https://adblockplus.org/>, |
4 # Copyright (C) 2006-2016 Eyeo GmbH | 4 # Copyright (C) 2006-2016 Eyeo GmbH |
5 # | 5 # |
6 # Adblock Plus is free software: you can redistribute it and/or modify | 6 # Adblock Plus is free software: you can redistribute it and/or modify |
7 # it under the terms of the GNU General Public License version 3 as | 7 # it under the terms of the GNU General Public License version 3 as |
8 # published by the Free Software Foundation. | 8 # published by the Free Software Foundation. |
9 # | 9 # |
10 # Adblock Plus is distributed in the hope that it will be useful, | 10 # Adblock Plus is distributed in the hope that it will be useful, |
(...skipping 16 matching lines...) Expand all Loading... | |
27 key_parts = key.split("_", 1) | 27 key_parts = key.split("_", 1) |
28 if len(key_parts) < 2: | 28 if len(key_parts) < 2: |
29 continue | 29 continue |
30 project_name, field_name = key_parts | 30 project_name, field_name = key_parts |
31 if field_name not in {"repository", "target_directory", "command"}: | 31 if field_name not in {"repository", "target_directory", "command"}: |
32 continue | 32 continue |
33 projects.setdefault(project_name, {})[field_name] = value | 33 projects.setdefault(project_name, {})[field_name] = value |
34 return projects | 34 return projects |
35 | 35 |
36 def sync_sources(sources_dir, repository_url): | 36 def sync_sources(sources_dir, repository_url): |
37 remote_id = subprocess.check_output(["hg", "id", "--id", repository_url]) | 37 if os.path.exists(sources_dir): |
38 id_path = sources_dir.rstrip(os.path.sep) + ".id" | 38 subprocess.check_call(["hg", "pull", "--quiet", "--update" |
39 try: | 39 "--repository", sources_dir]) |
Wladimir Palant
2016/02/09 10:44:28
You don't really want to call |hg pull --update|,
Felix Dahlke
2016/02/09 12:40:22
Done.
| |
40 with open(id_path, "rb") as id_file: | 40 else: |
41 local_id = id_file.read() | 41 subprocess.check_call(["hg", "clone", "--quiet", |
42 if local_id == remote_id: | 42 "--updaterev", "master", |
43 return | 43 repository_url, sources_dir]) |
44 except IOError: | |
45 pass | |
46 | |
47 shutil.rmtree(sources_dir, ignore_errors=True) | |
48 subprocess.check_call(["hg", "archive", | |
49 "--repository", repository_url, | |
50 "--rev", "master", | |
51 sources_dir]) | |
52 | |
53 # In theory, it is possible that some changesets are pushed after we fetch | |
54 # the ID above, but before we run `hg archive`, which will lead to an | |
55 # unnecessary `hg archive` operation the next time this runs. | |
56 with open(id_path, "wb") as id_file: | |
57 id_file.write(remote_id) | |
58 | |
59 # This is a workaround for https://issues.adblockplus.org/ticket/3635. | |
60 os.makedirs(os.path.join(sources_dir, ".hg")) | |
61 | 44 |
62 def replace_dir(source_dir, target_dir): | 45 def replace_dir(source_dir, target_dir): |
63 if not os.path.exists(target_dir): | 46 if not os.path.exists(target_dir): |
64 parent_dir = os.path.dirname(target_dir) | 47 parent_dir = os.path.dirname(target_dir) |
65 try: | 48 try: |
66 os.makedirs(parent_dir) | 49 os.makedirs(parent_dir) |
67 except OSError: | 50 except OSError: |
68 pass | 51 pass |
69 os.rename(source_dir, target_dir) | 52 os.rename(source_dir, target_dir) |
70 else: | 53 else: |
(...skipping 19 matching lines...) Expand all Loading... | |
90 sources_dir = os.path.join(temp_directory, name) | 73 sources_dir = os.path.join(temp_directory, name) |
91 sync_sources(sources_dir, data["repository"]) | 74 sync_sources(sources_dir, data["repository"]) |
92 output_dir = sources_dir.rstrip(os.path.sep) + ".docs" | 75 output_dir = sources_dir.rstrip(os.path.sep) + ".docs" |
93 run_generation_command(data["command"], sources_dir, output_dir) | 76 run_generation_command(data["command"], sources_dir, output_dir) |
94 replace_dir(output_dir, data["target_directory"]) | 77 replace_dir(output_dir, data["target_directory"]) |
95 | 78 |
96 if __name__ == "__main__": | 79 if __name__ == "__main__": |
97 config = get_config() | 80 config = get_config() |
98 projects = read_projects(config) | 81 projects = read_projects(config) |
99 generate_docs(projects, config) | 82 generate_docs(projects, config) |
OLD | NEW |