Config-based prelude

[sharkdp]

It would be great if the prelude could not be changed but configured by the user. For example: whether or not they want US customary units. Or whether or not they want short versions of units (like m for meter, which clashes with often used variable names.. such as m for mass).

Something like:

config

[prelude]
short_unit_aliases = false

prelude:

if config_setting("prelude.short_unit_aliases") {
  unit m = meter
}