Christian Fredrik Johnsen 63bd18d6d7 perf: replace cat calls with echo in print_shell_function()
echo is a bash built-in, and thus you don't need to launch a new
process for something as simple as writing to stdout.
Saves about 2-3ms.
2024-12-21 18:05:48 +01:00
..
2024-12-18 10:13:13 +03:00
2021-02-23 22:29:56 +02:00