]> git.proxmox.com Git - proxmox-backup.git/log
proxmox-backup.git
4 years agoadd simple rrd implementation
Dietmar Maurer [Sat, 23 May 2020 07:29:33 +0000 (09:29 +0200)]
add simple rrd implementation

4 years agosrc/client/pull.rs: split out pull related code
Dietmar Maurer [Fri, 22 May 2020 06:04:20 +0000 (08:04 +0200)]
src/client/pull.rs: split out pull related code

4 years agosrc/bin/proxmox-backup-proxy.rs: schedule sync jobs
Dietmar Maurer [Fri, 22 May 2020 05:50:59 +0000 (07:50 +0200)]
src/bin/proxmox-backup-proxy.rs: schedule sync jobs

4 years agosrc/api2/pull.rs: aquire try_shared_chunk_store_lock inside pull_store
Dietmar Maurer [Fri, 22 May 2020 05:24:17 +0000 (07:24 +0200)]
src/api2/pull.rs: aquire try_shared_chunk_store_lock inside pull_store

4 years agoproxmox-backup-manager: add sync-job cli
Dietmar Maurer [Thu, 21 May 2020 09:44:45 +0000 (11:44 +0200)]
proxmox-backup-manager: add sync-job cli

4 years agoproxmox-backup-manager: split out cert.rs
Dietmar Maurer [Thu, 21 May 2020 09:22:20 +0000 (11:22 +0200)]
proxmox-backup-manager: split out cert.rs

4 years agoproxmox-backup-manager: split out datastore.rs
Dietmar Maurer [Thu, 21 May 2020 09:14:34 +0000 (11:14 +0200)]
proxmox-backup-manager: split out datastore.rs

4 years agoproxmox-backup-manager: split out dns.rs
Dietmar Maurer [Thu, 21 May 2020 09:10:58 +0000 (11:10 +0200)]
proxmox-backup-manager: split out dns.rs

4 years agoproxmox-backup-manager: split out network.rs
Dietmar Maurer [Thu, 21 May 2020 09:08:38 +0000 (11:08 +0200)]
proxmox-backup-manager: split out network.rs

4 years agoproxmox-backup-manager: split out acl.rs
Dietmar Maurer [Thu, 21 May 2020 08:56:46 +0000 (10:56 +0200)]
proxmox-backup-manager: split out acl.rs

4 years agoproxmox-backup-manager: split out users.rs
Dietmar Maurer [Thu, 21 May 2020 08:53:06 +0000 (10:53 +0200)]
proxmox-backup-manager: split out users.rs

4 years agoroxmox-backup-manager: start splitting command into several files
Dietmar Maurer [Thu, 21 May 2020 08:46:07 +0000 (10:46 +0200)]
roxmox-backup-manager: start splitting command into several files

4 years agorename 'job' to 'sync'
Dietmar Maurer [Thu, 21 May 2020 08:29:25 +0000 (10:29 +0200)]
rename 'job' to 'sync'

4 years agosrc/api2/config/job.rs: add job api
Dietmar Maurer [Thu, 21 May 2020 08:14:26 +0000 (10:14 +0200)]
src/api2/config/job.rs: add job api

4 years agosrc/config/jobs.rs: use SectionConfig for jobs
Dietmar Maurer [Thu, 21 May 2020 06:31:16 +0000 (08:31 +0200)]
src/config/jobs.rs: use SectionConfig for jobs

4 years agosrc/bin/proxmox-backup-manager.rs: format output of show commands
Dietmar Maurer [Wed, 20 May 2020 14:47:37 +0000 (16:47 +0200)]
src/bin/proxmox-backup-manager.rs: format output of show commands

4 years agosrc/tools/systemd.rs: avoid compiler warnings
Dietmar Maurer [Wed, 20 May 2020 14:47:08 +0000 (16:47 +0200)]
src/tools/systemd.rs: avoid compiler warnings

4 years agoui: add '.' to path regex
Dominik Csapak [Wed, 20 May 2020 14:08:11 +0000 (16:08 +0200)]
ui: add '.' to path regex

since we use the path for datastore ids, which can contain a '.'

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoproxmox-backup-manager: add show command for remote and datastore
Dominik Csapak [Wed, 20 May 2020 14:08:10 +0000 (16:08 +0200)]
proxmox-backup-manager: add show command for remote and datastore

to show the data for a single item

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoapi2/access/acl: add path and exact parameter to list_acl
Dominik Csapak [Wed, 20 May 2020 10:15:35 +0000 (12:15 +0200)]
api2/access/acl: add path and exact parameter to list_acl

so that we can get only a subset of the acls, filtered by the backed
also return the digest here

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoui: add ACL panel to datastores
Dominik Csapak [Wed, 20 May 2020 10:15:38 +0000 (12:15 +0200)]
ui: add ACL panel to datastores

by introducing a datastorepanel (a TabPanel) which holds the content
and acl panel for now.

to be able to handle this in the router, we have to change the logic
of how to select the datastore from using the subpath to putting it
into the path (and extracting it when necessary)

if we need this again (e.g. possibly for remotes), we can further
refactor this logic to be more generic

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agofixup
Dietmar Maurer [Wed, 20 May 2020 11:26:41 +0000 (13:26 +0200)]
fixup

4 years agoui: add ACL panel to Configuration
Dominik Csapak [Wed, 20 May 2020 10:15:37 +0000 (12:15 +0200)]
ui: add ACL panel to Configuration

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoapi2/access/acl: make update_acl a protected api call
Dominik Csapak [Wed, 20 May 2020 10:15:36 +0000 (12:15 +0200)]
api2/access/acl: make update_acl a protected api call

since we want to set the owner of the acl config to 'root'
which is only possible when using a protected api call

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoadd 'exact' parameter to extract_acl_node_data
Dominik Csapak [Wed, 20 May 2020 10:15:34 +0000 (12:15 +0200)]
add 'exact' parameter to extract_acl_node_data

so that we can return acls for a single path

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoui: add UserSelector
Dominik Csapak [Wed, 20 May 2020 10:15:33 +0000 (12:15 +0200)]
ui: add UserSelector

this has to be different from pve for now, since the default of
'enabled' is reverted (pve: default disabled, pbs: default enabled)

if we decide to change this either here or in pve, we can refactor
it to the widget-toolkit

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoapi2/roles: change return field of role to roleid
Dominik Csapak [Wed, 20 May 2020 10:15:32 +0000 (12:15 +0200)]
api2/roles: change return field of role to roleid

to be compatible with the pve api
with this, we can reuse the ui parts (RoleSelector)

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoapi2/acl: add privs array to roles
Dominik Csapak [Wed, 20 May 2020 10:15:31 +0000 (12:15 +0200)]
api2/acl: add privs array to roles

so that an admin can see which roles have which privileges

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoacls: use constnamemap macro for privileges
Dominik Csapak [Wed, 20 May 2020 10:15:30 +0000 (12:15 +0200)]
acls: use constnamemap macro for privileges

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agodepend on proxmox 0.1.34
Dietmar Maurer [Wed, 20 May 2020 11:21:01 +0000 (13:21 +0200)]
depend on proxmox 0.1.34

4 years agosrc/bin/proxmox-backup-proxy.rs: schedule prune jobs
Dietmar Maurer [Wed, 20 May 2020 11:00:53 +0000 (13:00 +0200)]
src/bin/proxmox-backup-proxy.rs: schedule prune jobs

4 years agosrc/config/datastore.rs_ change prune types from i64 to u64
Dietmar Maurer [Wed, 20 May 2020 11:00:13 +0000 (13:00 +0200)]
src/config/datastore.rs_ change prune types from i64 to u64

4 years agosrc/config/datastore.rs: add prune settings
Dietmar Maurer [Wed, 20 May 2020 09:29:59 +0000 (11:29 +0200)]
src/config/datastore.rs: add prune settings

4 years agosrc/api2/access/user.rs: remove useless description
Dietmar Maurer [Wed, 20 May 2020 09:27:58 +0000 (11:27 +0200)]
src/api2/access/user.rs: remove useless description

The description is not used at all if we refer to a type.

4 years agosrc/api2/types.rs: define PRUNE_SCHEMA_KEEP_*
Dietmar Maurer [Wed, 20 May 2020 08:13:38 +0000 (10:13 +0200)]
src/api2/types.rs: define PRUNE_SCHEMA_KEEP_*

4 years agosrc/tools/systemd/parse_time.rs: improve error message
Dietmar Maurer [Wed, 20 May 2020 07:43:16 +0000 (09:43 +0200)]
src/tools/systemd/parse_time.rs: improve error message

4 years agosrc/bin/proxmox-backup-manager.rs: add completion helper for gc-schedule
Dietmar Maurer [Wed, 20 May 2020 07:41:58 +0000 (09:41 +0200)]
src/bin/proxmox-backup-manager.rs: add completion helper for gc-schedule

4 years agosrc/bin/proxmox-backup-proxy.rs: add simple task scheduler for garbage collection
Dietmar Maurer [Wed, 20 May 2020 06:59:45 +0000 (08:59 +0200)]
src/bin/proxmox-backup-proxy.rs: add simple task scheduler for garbage collection

4 years agosrc/tools/systemd/time.rs: export parse/verify
Dietmar Maurer [Wed, 20 May 2020 06:38:39 +0000 (08:38 +0200)]
src/tools/systemd/time.rs: export parse/verify

4 years agosrc/config/datastore.rs: add gc-schedule property
Dietmar Maurer [Wed, 20 May 2020 06:38:10 +0000 (08:38 +0200)]
src/config/datastore.rs: add gc-schedule property

4 years agodepend on proxmox 0.1.33
Dietmar Maurer [Wed, 20 May 2020 04:29:06 +0000 (06:29 +0200)]
depend on proxmox 0.1.33

4 years agouser: create default root user as typed struct
Dominik Csapak [Tue, 19 May 2020 14:24:54 +0000 (16:24 +0200)]
user: create default root user as typed struct

we added a userid attribute to the User struct, but missed that we
created the default user without that attribuet via the json! macro
which lead to a runtime panic on the deserialization

by using the struct directly, such errors will be caught by the compiler
in the future

with this change, we can remove the serde_json import here

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agodepend on proxmox 0.1.32, src/api2/access/user.rs: simplify code
Dietmar Maurer [Tue, 19 May 2020 07:49:39 +0000 (09:49 +0200)]
depend on proxmox 0.1.32, src/api2/access/user.rs: simplify code

4 years agoui: add UserManagement panel
Dominik Csapak [Mon, 18 May 2020 12:18:38 +0000 (14:18 +0200)]
ui: add UserManagement panel

to add/edit users

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoui: use Logo/RealmComboBox from widget-toolkit
Dominik Csapak [Mon, 18 May 2020 12:18:37 +0000 (14:18 +0200)]
ui: use Logo/RealmComboBox from widget-toolkit

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agouse new 'id_property' for user::User and use it in api calls
Dominik Csapak [Mon, 18 May 2020 12:18:36 +0000 (14:18 +0200)]
use new 'id_property' for user::User and use it in api calls

this allows us to return a user::User (or Vec<> of it)
instead of a generic serde value

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoadapt to changes of SectionConfigPlugin
Dominik Csapak [Mon, 18 May 2020 12:18:35 +0000 (14:18 +0200)]
adapt to changes of SectionConfigPlugin

it requires not an Option<String> for the optional id_property

Signed-off-by: Dominik Csapak <d.csapak@proxmox.com>
4 years agoavoid compiler warnings
Dietmar Maurer [Mon, 18 May 2020 09:35:56 +0000 (11:35 +0200)]
avoid compiler warnings

4 years agoCargo.toml: remove native-tls
Fabian Grünbichler [Mon, 18 May 2020 11:51:10 +0000 (13:51 +0200)]
Cargo.toml: remove native-tls

it's not used anymore.

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
4 years agodebcargo.toml: add missing doc build-dependencies
Fabian Grünbichler [Mon, 18 May 2020 11:08:23 +0000 (13:08 +0200)]
debcargo.toml: add missing doc build-dependencies

and mark them accordingly.

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
4 years agodebcargo.toml: reflow dependencies
Fabian Grünbichler [Mon, 18 May 2020 11:06:19 +0000 (13:06 +0200)]
debcargo.toml: reflow dependencies

to make changes easier to track

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
4 years agodepend on proxmox 0.1.31 - use Value to store result metadata
Dietmar Maurer [Mon, 18 May 2020 07:57:35 +0000 (09:57 +0200)]
depend on proxmox 0.1.31 - use Value to store result metadata

4 years agoupdate dependencies
Fabian Grünbichler [Mon, 18 May 2020 07:06:44 +0000 (09:06 +0200)]
update dependencies

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
4 years agosrc/tools/systemd/parse_time.rs: check max values
Dietmar Maurer [Sat, 16 May 2020 11:13:50 +0000 (13:13 +0200)]
src/tools/systemd/parse_time.rs: check max values

4 years agoCalendarEvent - compute_next_value: use change tracking to avoid repeated testing
Dietmar Maurer [Sat, 16 May 2020 08:32:27 +0000 (10:32 +0200)]
CalendarEvent - compute_next_value: use change tracking to avoid repeated testing

4 years agoCalendarEvent - compute_next_value: support seconds
Dietmar Maurer [Sat, 16 May 2020 08:21:24 +0000 (10:21 +0200)]
CalendarEvent - compute_next_value: support seconds

4 years agosrc/tools/systemd/tm_editor.rs: new helper class
Dietmar Maurer [Sat, 16 May 2020 08:09:41 +0000 (10:09 +0200)]
src/tools/systemd/tm_editor.rs: new helper class

4 years agoCalendarEvent: test and fix repeated values
Dietmar Maurer [Sat, 16 May 2020 05:43:51 +0000 (07:43 +0200)]
CalendarEvent: test and fix repeated values

4 years agoCalendarEvent: speedup/simplify repetition tests
Dietmar Maurer [Sat, 16 May 2020 05:09:53 +0000 (07:09 +0200)]
CalendarEvent: speedup/simplify repetition tests

4 years agosrc/tools/systemd/parse_time.rs: move parser into separate file
Dietmar Maurer [Sat, 16 May 2020 04:53:15 +0000 (06:53 +0200)]
src/tools/systemd/parse_time.rs: move parser into separate file

4 years agosrc/tools/systemd/time.rs: implement compute_next_event
Dietmar Maurer [Sat, 16 May 2020 04:33:03 +0000 (06:33 +0200)]
src/tools/systemd/time.rs: implement compute_next_event

4 years agorenamed: src/tools/systemd/parser.rs -> src/tools/systemd/config.rs
Dietmar Maurer [Sat, 16 May 2020 04:32:28 +0000 (06:32 +0200)]
renamed: src/tools/systemd/parser.rs -> src/tools/systemd/config.rs

4 years ago src/tools/systemd/time.rs: add helpers to compute CalendarEvents
Dietmar Maurer [Fri, 15 May 2020 15:55:54 +0000 (17:55 +0200)]
 src/tools/systemd/time.rs: add helpers to compute CalendarEvents

4 years agodepend on proxmox 0.1.30
Dietmar Maurer [Fri, 15 May 2020 15:51:52 +0000 (17:51 +0200)]
depend on proxmox 0.1.30

4 years agosrc/api2/node/time.rs: avoid custom unsafe readlink implementations
Dietmar Maurer [Fri, 15 May 2020 04:50:07 +0000 (06:50 +0200)]
src/api2/node/time.rs: avoid custom unsafe readlink implementations

4 years agosrc/tools/systemd/parser.rs: use different setups for service and timer files, code...
Dietmar Maurer [Thu, 14 May 2020 11:55:13 +0000 (13:55 +0200)]
src/tools/systemd/parser.rs: use different setups for service and timer files, code cleanup

4 years agodepend on nom, add parser for systemd calendar enents and time span
Dietmar Maurer [Thu, 14 May 2020 10:17:20 +0000 (12:17 +0200)]
depend on nom, add parser for systemd calendar enents and time span

4 years agoupdate pin-utils dep to stable version
Fabian Grünbichler [Thu, 14 May 2020 09:46:05 +0000 (11:46 +0200)]
update pin-utils dep to stable version

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>
4 years agoadd systemd configuration file parser/writer, start job configuration
Dietmar Maurer [Tue, 12 May 2020 11:07:49 +0000 (13:07 +0200)]
add systemd configuration file parser/writer, start job configuration

4 years agodepend on proxmox 0.1.29
Dietmar Maurer [Tue, 12 May 2020 11:03:09 +0000 (13:03 +0200)]
depend on proxmox 0.1.29

4 years agodepend on proxmox 0.1.28
Dietmar Maurer [Tue, 12 May 2020 07:35:57 +0000 (09:35 +0200)]
depend on proxmox 0.1.28

4 years agoTODO.rst: update
Dietmar Maurer [Tue, 12 May 2020 07:35:37 +0000 (09:35 +0200)]
TODO.rst: update

4 years agoproxmox-backup-manager: add completion helper for port list
Dietmar Maurer [Fri, 8 May 2020 15:28:04 +0000 (17:28 +0200)]
proxmox-backup-manager: add completion helper for port list

4 years agoproxmox-backup-manager - network list: render ports/slaves
Dietmar Maurer [Fri, 8 May 2020 14:07:23 +0000 (16:07 +0200)]
proxmox-backup-manager - network list: render ports/slaves

And render interface name as first comumn.

4 years agosrc/config/network.rs - check_bridge_ports: correctly check vlan ports
Dietmar Maurer [Fri, 8 May 2020 13:51:47 +0000 (15:51 +0200)]
src/config/network.rs - check_bridge_ports: correctly check vlan ports

4 years agosrc/config/network.rs - write_config: add more consistency checks
Dietmar Maurer [Fri, 8 May 2020 12:31:38 +0000 (14:31 +0200)]
src/config/network.rs - write_config: add more consistency checks

4 years agosrc/config/network.rs: avoid duplicate port usage
Dietmar Maurer [Fri, 8 May 2020 09:15:00 +0000 (11:15 +0200)]
src/config/network.rs: avoid duplicate port usage

4 years agosrc/config/network.rs: do not combine entries
Dietmar Maurer [Fri, 8 May 2020 08:20:57 +0000 (10:20 +0200)]
src/config/network.rs: do not combine entries

It is unclear when and how to write combined entries ...

4 years agosrc/config/network.rs: always write bridge_ports and bond_slaves
Dietmar Maurer [Fri, 8 May 2020 07:58:03 +0000 (09:58 +0200)]
src/config/network.rs: always write bridge_ports and bond_slaves

So that we can reliable detect the interface type.

4 years agoproxmox-backup-manager: add network create command
Dietmar Maurer [Fri, 8 May 2020 07:55:56 +0000 (09:55 +0200)]
proxmox-backup-manager: add network create command

4 years agosrc/api2/node/network.rs: add protected flag to revert
Dietmar Maurer [Fri, 8 May 2020 07:30:25 +0000 (09:30 +0200)]
src/api2/node/network.rs: add protected flag to revert

4 years agosrc/api2/node/network.rs: pass bridge_ports and slaves a property strings
Dietmar Maurer [Fri, 8 May 2020 06:49:17 +0000 (08:49 +0200)]
src/api2/node/network.rs: pass bridge_ports and slaves a property strings

To make it compatible with pve.

4 years agosrc/config/network.rs: implement bond_mode
Dietmar Maurer [Thu, 7 May 2020 12:07:45 +0000 (14:07 +0200)]
src/config/network.rs: implement bond_mode

and rename bond_slaves to slaves to make it compatible with pve.

4 years agosrc/api2/node/network.rs: cleanup - factor out check_duplicate_gateway
Dietmar Maurer [Thu, 7 May 2020 09:26:30 +0000 (11:26 +0200)]
src/api2/node/network.rs: cleanup - factor out check_duplicate_gateway

4 years agosrc/api2/node/network.rs: allow to create bridge and bond
Dietmar Maurer [Thu, 7 May 2020 09:09:12 +0000 (11:09 +0200)]
src/api2/node/network.rs: allow to create bridge and bond

4 years agosrc/config/network.rs: make it compatible with pve
Dietmar Maurer [Wed, 6 May 2020 05:51:05 +0000 (07:51 +0200)]
src/config/network.rs: make it compatible with pve

and depend on proxmox 0.1.26

4 years agosrc/server/worker_task.rs: implement and use status command
Dietmar Maurer [Thu, 7 May 2020 06:30:38 +0000 (08:30 +0200)]
src/server/worker_task.rs: implement and use status command

4 years agosrc/server/command_socket.rs: do not abort loop on client errors, allow backup gid
Dietmar Maurer [Thu, 7 May 2020 06:24:48 +0000 (08:24 +0200)]
src/server/command_socket.rs: do not abort loop on client errors, allow backup gid

4 years agoadd tools/disks.rs (work in progress...)
Wolfgang Bumiller [Tue, 5 May 2020 08:14:41 +0000 (10:14 +0200)]
add tools/disks.rs (work in progress...)

Signed-off-by: Wolfgang Bumiller <w.bumiller@proxmox.com>
4 years agoTODO.rst: update
Dietmar Maurer [Tue, 5 May 2020 07:22:01 +0000 (09:22 +0200)]
TODO.rst: update

4 years agogarbage_collect: call fail_on_abort to abort GV when requested.
Dietmar Maurer [Tue, 5 May 2020 07:06:34 +0000 (09:06 +0200)]
garbage_collect: call fail_on_abort to abort GV when requested.

4 years agosrc/bin/proxmox-backup-client.rs: add human readable date to prune list
Dietmar Maurer [Tue, 5 May 2020 05:33:58 +0000 (07:33 +0200)]
src/bin/proxmox-backup-client.rs: add human readable date to prune list

4 years agodocs/administration-guide.rst: fix prune command output
Dietmar Maurer [Tue, 5 May 2020 05:24:27 +0000 (07:24 +0200)]
docs/administration-guide.rst: fix prune command output

4 years agosrc/bin/proxmox-backup-client.rs: correctly format prune result list.
Dietmar Maurer [Tue, 5 May 2020 04:45:37 +0000 (06:45 +0200)]
src/bin/proxmox-backup-client.rs: correctly format prune result list.

4 years agoadministration-guide.rst: update snapshot list output
Dietmar Maurer [Mon, 4 May 2020 11:14:03 +0000 (13:14 +0200)]
administration-guide.rst: update snapshot list output

4 years agoadministration-guide.rst: add section "Proxmox VE integration"
Dietmar Maurer [Mon, 4 May 2020 10:41:38 +0000 (12:41 +0200)]
administration-guide.rst: add section "Proxmox VE integration"

4 years agodocs: use OpenSans as main font
Dietmar Maurer [Mon, 4 May 2020 08:48:09 +0000 (10:48 +0200)]
docs: use OpenSans as main font

Most people also read PDFs online ...

4 years agodocs: use better fonts for PDFs
Dietmar Maurer [Mon, 4 May 2020 08:15:27 +0000 (10:15 +0200)]
docs: use better fonts for PDFs

Font XCharter and Lato have better quality.

4 years agodocs/conf.py: avoid font scale option
Dietmar Maurer [Mon, 4 May 2020 07:02:10 +0000 (09:02 +0200)]
docs/conf.py: avoid font scale option

4 years agodocs/conf.py: fix baselineskip in code-blocks with scaled font
Dietmar Maurer [Sun, 3 May 2020 07:22:01 +0000 (09:22 +0200)]
docs/conf.py: fix baselineskip in code-blocks with scaled font