Closed felixschndr closed 3 years ago
alias time='/usr/bin/time -f '%E' Format noch anpassen
alias time='/usr/bin/time -f '%E'
alias time='/usr/bin/time -f '%E'
Format noch anpassen