Maarrk/tio
1
0
Fork 0
mirror of https://github.com/tio/tio.git synced 2026-05-01 14:57:59 +02:00
Code Issues Projects Releases 1 Packages Wiki Activity Actions

Add support for $HOME/.tioconfig

Browse source 
Replaces what used to be $HOME/.tiorc
This commit is contained in:
Martin Lund 2022-12-07 04:07:43 +01:00
parent 6a955b08e1
commit 4e9d29c88d
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
man/tio.1.in
View file

@ -335,6 +335,8 @@ listed:
.I $XDG_CONFIG_HOME/tio/config
.PP
.I $HOME/.config/tio/config
.PP
.I $HOME/.tioconfig
.PP
Labels can be used to group settings into named sub-configurations which can be