mirror of
https://github.com/romkatv/powerlevel10k.git
synced 2024-12-25 00:21:58 +00:00
exit with an error when unable to delete old fonts
This commit is contained in:
parent
ea6607e701
commit
ff496ab2ba
1 changed files with 1 additions and 1 deletions
|
@ -428,7 +428,7 @@ function ask_remove_font() {
|
||||||
flowing Please %Bdelete%b these files and run '%2Fp10k%f %Bconfigure%b.'
|
flowing Please %Bdelete%b these files and run '%2Fp10k%f %Bconfigure%b.'
|
||||||
fi
|
fi
|
||||||
print
|
print
|
||||||
exit 0
|
exit 1
|
||||||
fi
|
fi
|
||||||
if (( $#fonts == 1 )); then
|
if (( $#fonts == 1 )); then
|
||||||
flowing -c "%BDelete this file?%b"
|
flowing -c "%BDelete this file?%b"
|
||||||
|
|
Loading…
Reference in a new issue