08/09/23 11:20:54
$ type time
time is a shell keyword
$ time (echo one; echo two; echo three)
one
two
three
なぜなんだー。Ｇ１３型トラクター求む。
08/09/23 11:20:54
$ type time
time is a shell keyword
$ time (echo one; echo two; echo three)
one
two
three
なぜなんだー。Ｇ１３型トラクター求む。