jordan on Nostr: my favorite bash trick, for when you've really boned up and deleted ls: echo * (echo ...my favorite bash trick, for when you've really boned up and deleted ls: echo *(echo is a built-in and the shell handles the wildcard internally)