diff options
author | Case Duckworth | 2022-04-13 17:04:46 -0500 |
---|---|---|
committer | Case Duckworth | 2022-04-13 17:04:46 -0500 |
commit | 6f30ac188d687522f56b41ebafe7e49c322af038 (patch) | |
tree | 9e2253e0883cad1a8b12ce340a19e3b4abf9b0e9 /profile/infopath.sh | |
parent | Check for existence of dircolors (diff) | |
download | etc-6f30ac188d687522f56b41ebafe7e49c322af038.tar.gz etc-6f30ac188d687522f56b41ebafe7e49c322af038.zip |
Add path_add_unsafe and change path munging
Diffstat (limited to 'profile/infopath.sh')
-rw-r--r-- | profile/infopath.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/profile/infopath.sh b/profile/infopath.sh index ad1ec3f..80080b8 100644 --- a/profile/infopath.sh +++ b/profile/infopath.sh | |||
@@ -1 +1,7 @@ | |||
1 | export INFOPATH="/usr/share/info:${XDG_DATA_HOME:-$HOME/.local/share}/info" | 1 | # See 00_functions.sh for `path_add_unsafe'. |
2 | |||
3 | path_add_unsafe INFOPATH \ | ||
4 | /usr/share/info \ | ||
5 | "${XDG_DATA_HOME:-$HOME/.local/share}/info" | ||
6 | |||
7 | export INFOPATH | ||