💾 Archived View for warmedal.se › ~bjorn › posts › 2024-05-06-recho.gmi captured on 2024-05-26 at 14:23:55. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-05-10)
-=-=-=-=-=-=-
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