Blog: 2024-01-18

Noticed `fish_indent` will take the space out from

echo > file.txt

so it becomes

echo >file.txt

I like the original more, and it's consistent with https://fishshell.com/docs/current/tutorial.html#pipes-and-redirections