config: use $HOME instead of getpwuid() to retrieve users’s home dir

When searching for foot.ini, use $HOME instead of getpwuid() to
retrieve the user’s home directory.
This commit is contained in:
Daniel Eklöf 2022-05-24 18:18:15 +02:00
parent 7e8b5f9610
commit bc7214cd88
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
4 changed files with 13 additions and 13 deletions

View file

@ -361,7 +361,7 @@ foot will search for a configuration file in the following locations,
in this order:
- *XDG_CONFIG_HOME/foot/foot.ini* (defaulting to
*~/.config/foot/foot.ini* if unset)
*$HOME/.config/foot/foot.ini* if unset)
- *XDG_CONFIG_DIRS/foot/foot.ini* (defaulting to
*/etc/xdg/foot/foot.ini* if unset)
@ -464,6 +464,10 @@ The following environment variables are used by foot:
The default child process to run, when no _command_ argument is
specified and the *shell* option in *foot.ini*(5) is not set.
*HOME*
Used to determine the location of the configuration file, see
*foot.ini*(5) for details.
*XDG\_CONFIG\_HOME*
Used to determine the location of the configuration file, see
*foot.ini*(5) for details.

View file

@ -15,7 +15,7 @@ foot will search for a configuration file in the following locations,
in this order:
- *XDG_CONFIG_HOME/foot/foot.ini* (defaulting to
*~/.config/foot/foot.ini* if unset)
*$HOME/.config/foot/foot.ini* if unset)
- *XDG_CONFIG_DIRS/foot/foot.ini* (defaulting to
*/etc/xdg/foot/foot.ini* if unset)