Prevent shell execution

This commit is contained in:
Denis Isidoro 2020-03-16 10:44:27 -03:00 committed by GitHub
parent 68b0054840
commit 508801fdfb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -129,7 +129,7 @@ installation_finish_instructions() {
if [[ $shell = "zsh" ]]; then
code="navi widget ${shell} | source"
else
code="source <(navi widget ${shell})"
code='source <(navi widget '"$shell"')'
fi
echoerr -e "\nTo add the Ctrl-G keybinding, add the following to ~/.${shell}rc:\n ${code}"
}