On Wed, 14 Oct 2015 19:48:14 -0300, Flávio Etrusco <flavio.etru...@gmail.com> wrote:
>On Wed, Oct 14, 2015 at 5:58 PM, Bo Berglund <bo.bergl...@gmail.com> wrote: >> On Mon, 12 Oct 2015 23:13:53 +0300, Juha Manninen >> <juha.mannine...@gmail.com> wrote: >> >> $ time make clean bigide >> >> I have never seen such a command before, does it print the time the >> command following time takes to complete??? >> man time does not mention such a functionality... >> > >time is a builtin command (integrated in bash) thus to obtain help use >'help time'. > Thanks, I thought it to be a version of date where the display would only be the time... man time seemed to indicate that, but help time says otherwise. In fact a very handy tool. Always learning new stuff... :) I am going to rebuild the Lazarus bigide on my Raspberry Pi2 later today and will use this command to get a good time for the process and report back here. I just have to first find out how to get rid of the erroneously done installation using su... -- Bo Berglund Developer in Sweden -- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus.freepascal.org http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
