Merge pull request #8429 from svenz/master

Update install-multi-user.sh
This commit is contained in:
Eelco Dolstra 2023-06-06 13:34:45 +02:00 committed by GitHub
commit 2b01e835e2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -880,7 +880,7 @@ configure_shell_profile() {
fi
done
task "Setting up shell profiles for Fish with with ${PROFILE_FISH_SUFFIX} inside ${PROFILE_FISH_PREFIXES[*]}"
task "Setting up shell profiles for Fish with ${PROFILE_FISH_SUFFIX} inside ${PROFILE_FISH_PREFIXES[*]}"
for fish_prefix in "${PROFILE_FISH_PREFIXES[@]}"; do
if [ ! -d "$fish_prefix" ]; then
# this specific prefix (ie: /etc/fish) is very likely to exist