Code

Add CLI config file#227

Code

Merged

sharkdp merged 10 commits intomastersharkdp/numbat:masterfrom add-config-filesharkdp/numbat:add-config-fileCopy head branch name to clipboardNov 9, 2023

+347-59

Commits

Commits on Nov 9, 2023

• Add CLI config file

  

  triallax

  authored and

  David Peter

  committed
  f86c106

• More changes

  

  triallax

  authored and

  David Peter

  committed
  1810c29

• More configuration options, remove Cli::args

  

  sharkdp

  authored and

  David Peter

  committed
  a329b8b

• Add hidden --no-config option

  

  sharkdp

  authored and

  David Peter

  committed
  9c00319

• Add [application] section

  

  sharkdp

  authored and

  David Peter

  committed
  d044b1c

• Rename application => main

  

  sharkdp

  authored and

  David Peter

  committed
  1a086bd

• Derive default for ExchangeRateFetchingPolicy

  

  sharkdp

  authored and

  David Peter

  committed
  1b00e50

• Move config to separate module

  

  sharkdp

  authored and

  David Peter

  committed
  1ba890c

• Add option to generate config file

  

  sharkdp

  authored and

  David Peter

  committed
  e64fac8

• Add documentation

  

  sharkdp

  authored and

  David Peter

  committed
  7b871ee