mirror of
https://github.com/tio/tio.git
synced 2026-05-01 14:57:59 +02:00
Better error checking in config file, rename the file
Accept "true", "enable", "on", "yes", "1" as true values, their counterparts as false ones. Check integer values for errors and range. Warn about ignored (e.g. misspelled) options. Check getenv() return value for NULL. Rename "tiorc" to "config", as it's a static INI file, not an executable "run commands".
This commit is contained in:
parent
2915d26a19
commit
42739c0817
2 changed files with 72 additions and 101 deletions
|
|
@ -332,11 +332,9 @@ the configuration file first found in the following locations in the order
|
|||
listed:
|
||||
|
||||
.PP
|
||||
.I $XDG_CONFIG_HOME/tio/tiorc
|
||||
.I $XDG_CONFIG_HOME/tio/config
|
||||
.PP
|
||||
.I $HOME/.config/tio/tiorc
|
||||
.PP
|
||||
.I $HOME/.tiorc
|
||||
.I $HOME/.config/tio/config
|
||||
|
||||
.PP
|
||||
Labels can be used to group settings into named sub-configurations which can be
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue