Blog: 2024-01-18: Difference between revisions
Jump to navigation
Jump to search
(Created page with "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") |
(No difference)
|
Latest revision as of 22:06, 18 January 2024
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