From f5d08e89b5b2274dfc2605b7ea20d1a22538605b Mon Sep 17 00:00:00 2001 From: Konstantin Baierer Date: Fri, 22 Jan 2021 12:08:19 +0100 Subject: [PATCH 1/2] file parameters: remove $VIRTUAL_ENV, add cache and system --- ocrd_tool.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ocrd_tool.md b/ocrd_tool.md index f706c59..073887c 100644 --- a/ocrd_tool.md +++ b/ocrd_tool.md @@ -33,9 +33,10 @@ should be resolved in the following way: `ocrd-dummy`, the variable would need to be called `OCRD_DUMMY_PATH`): * Split the variable value at `:` and try to resolve by appending `` to each token and return the first found file if any - * `$VIRTUAL_ENV/share/ocrd-resources//` * `$XDG_DATA_HOME/ocrd-resources//` (with `$HOME/.local/share` instead of `$XDG_DATA_HOME` if unset) * `$XDG_CONFIG_HOME/ocrd-resources//` (with `$HOME/.config` instead of `$XDG_CONFIG_HOME` if unset) + * `$XDG_CACHE_HOME/ocrd-resources//` (with `$HOME/.cache` instead of `$XDG_CACHE_HOME` if unset) + * `/usr/local/share/ocrd-resources//` ## Input / Output file groups From feb9cfdbf7d1d73c3c007ca027c1f683f4da8b7e Mon Sep 17 00:00:00 2001 From: Konstantin Baierer Date: Fri, 22 Jan 2021 17:34:47 +0100 Subject: [PATCH 2/2] remove XDG_CONFIG_HOME and XDG_CACHE_HOME --- ocrd_tool.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/ocrd_tool.md b/ocrd_tool.md index 073887c..dab2cdd 100644 --- a/ocrd_tool.md +++ b/ocrd_tool.md @@ -34,8 +34,6 @@ should be resolved in the following way: * Split the variable value at `:` and try to resolve by appending `` to each token and return the first found file if any * `$XDG_DATA_HOME/ocrd-resources//` (with `$HOME/.local/share` instead of `$XDG_DATA_HOME` if unset) - * `$XDG_CONFIG_HOME/ocrd-resources//` (with `$HOME/.config` instead of `$XDG_CONFIG_HOME` if unset) - * `$XDG_CACHE_HOME/ocrd-resources//` (with `$HOME/.cache` instead of `$XDG_CACHE_HOME` if unset) * `/usr/local/share/ocrd-resources//` ## Input / Output file groups