fish: Use fish_add_path instead of modifying fish_user_paths directly #79
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
fish_add_path is a friendly helper in fish to manage
$PATH. It has the advantage that if trying to add the same path multiple times it will only appear once in the$PATH.Unlike using
set -ga ..., the user can run the command once in the shell immediately after installation, or add the command toconfig.fishwith the same result.See also https://fishshell.com/docs/current/tutorial.html#path
This helper is present in fish since version 3.2.0 (released March 1, 2021)