Module user_agent 

The User-Agent header on every request datui makes: ureq’s, and the object stores’ (ours and the ones Polars builds for a scan).

It names datui, its version and where to read about it, so a publisher whose logs show datui can find out what it is. Nothing about the user or the machine. [http] user_agent replaces it.

Constants

CLIENT_KEY

The object_store client key that carries the header, for a builder’s with_config or Polars’ CloudOptions.

DEFAULT

What datui sends unless [http] user_agent says otherwise.

Functions

configure

Use setting ([http] user_agent) from now on in this process.

get

The header to send now.

is_valid

Whether value can be sent as a header: printable ASCII, so neither ureq nor object_store refuses it at request time.

ureq_config

A ureq agent configuration with the header set; each client adds its own limits.