Browse Source

Runic.main: add some pretty dots.

pull/19/head
Fredrik Ekre 2 years ago
parent
commit
f4e7d13ca9
No known key found for this signature in database
GPG Key ID: DE82E6D5E364C0A2
  1. 12
      src/main.jl

12
src/main.jl

@ -228,10 +228,16 @@ function main(argv) @@ -228,10 +228,16 @@ function main(argv)
if print_progress
input_pretty = relpath(inputfile)
if check
printstyled(stderr, "Checking `$(input_pretty)` ... "; color = :blue)
str = "Checking `$(input_pretty)` "
ndots = 80 - textwidth(str) - 1 - 1
dots = ndots > 0 ? "."^ndots : ""
printstyled(stderr, str, dots, " "; color = :blue)
else
to = output_is_samefile ? "" : "-> `$(relpath(output))` "
printstyled(stderr, "Formatting `$(inputfile)` $(to) ... "; color = :blue)
to = output_is_samefile ? " " : " -> `$(relpath(output))` "
str = "Formatting `$(inputfile)`$(to)"
ndots = 80 - textwidth(str) - 1 - 1
dots = ndots > 0 ? "."^ndots : ""
printstyled(stderr, str, dots, " "; color = :blue)
end
end

Loading…
Cancel
Save