💾 Archived View for warmedal.se › ~bjorn › posts › 2024-05-06-recho.gmi captured on 2024-05-10 at 10:44:29. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
This is a shell function that works like echo, except it echoes all the arguments in random order. In bash it can be declared as follows:
recho(){ echo "${@}" | sed -e 's; ;\n;g' | sort -R | xargs echo ; }
This is useful when you want to use echo, except print all the arguments in random order...
-- CC0 ew0k, 2024-05-06