You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- Docker runs as the host UID/GID by default to prevent root-owned output files on mounted volumes
196
198
- If mounted output/metrics paths are not writable (e.g., stale root-owned files), the wrapper automatically attempts a one-time in-container permission repair before running
197
199
- Raw command output is written to a hidden wrapper log file instead of printed directly to the terminal
198
-
- A concise elapsed-time summary is printed at the end of each mode run and appended to `run_metrics/wrapper_execution_times.csv`
200
+
- A concise elapsed-time summary is printed at the end of each mode run and written to `run_metrics/<RUN_ID>/wrapper_execution_times.csv`
199
201
- Full mode prints triples produced per input (and total) when conversion metrics are available
200
202
- Optional preflight storage estimate (`--estimate-size`) with a disk-space warning if the upper-bound estimate exceeds free space
201
203
@@ -242,7 +244,7 @@ Options:
242
244
-`-b, --build`: force docker build
243
245
-`-B, --no-build`: fail if image missing
244
246
-`-n, --out-name` (default `rdf`): fallback output basename in full mode
0 commit comments