Change prefix of temporary folders

Shouldn't really use a name that suggests a connection to GitHub.
This commit is contained in:
James R. Barlow
2020-12-07 21:51:46 -08:00
parent 68a57a7839
commit f11bb53e61
3 changed files with 6 additions and 2 deletions
+1 -1
View File
@@ -165,7 +165,7 @@ def cached_run(options, run_args, **run_kwargs):
def clean_sys_argv():
for arg in run_args[1:]:
yield re.sub(r'.*/com.github.ocrmypdf[^/]+[/](.*)', r'$TMPDIR/\1', arg)
yield re.sub(r'.*/ocrmypdf[.]io[.][^/]+[/](.*)', r'$TMPDIR/\1', arg)
manifest['args'] = list(clean_sys_argv())
with (Path(CACHE_ROOT) / 'manifest.jsonl').open('a') as f: