mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-04-25 20:41:15 -03:00
This injected filenames into fish script, which could inject things that looked like fish script. E.g. create a file called `~/.config/fish/themes/"; rm -rf ~/*"`. Note that the prompts are all shipped by us, but the themes can technically be added by the user, and they might not be dilligent in what filenames they allow.