From aa8b285dd29d11a6048d6b2fd9e035badd28e916 Mon Sep 17 00:00:00 2001 From: teto Date: Mon, 9 Jun 2025 15:45:38 +0000 Subject: [PATCH] deploy: 74d196c9943a67908d1883f61154e594d03863e5 --- options.xhtml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/options.xhtml b/options.xhtml index 1a8ac6555..9bae4a932 100644 --- a/options.xhtml +++ b/options.xhtml @@ -51522,6 +51522,9 @@ null or package

Type: attribute set of (submodule)

+

Default: +{ }

+

Declared by:

@@ -51538,8 +51541,11 @@ attribute set of (submodule)

-

Whether this is a default library. There must be exactly one -default library.

+

Whether this is a default library.

For papis to function without explicit library selection +(i.e. without -l <library> or --pick-lib flags) there +must be a default library defined.

Note this can be also defined (or overridden) on a local +$(pwd)/.papis.config or via python +$XDG_CONFIG_HOME/papis/config.py config file.

Type: boolean