-
Martin von Zweigbergk authored
Using `echo` with escape codes is not portable, so this patch replaces it by `printf`. I also changed several nearby lines to `printf` for consistency.
09f89f0ca5f7
Using `echo` with escape codes is not portable, so this patch replaces it by `printf`. I also changed several nearby lines to `printf` for consistency.