[Lazarus] Theoretical question about future of Lazarus

[Bo Berglund]

On Wed, 14 Oct 2015 19:48:14 -0300, Flávio Etrusco
<flavio.etrusco at gmail.com> wrote:

>On Wed, Oct 14, 2015 at 5:58 PM, Bo Berglund <bo.berglund at gmail.com> wrote:
>> On Mon, 12 Oct 2015 23:13:53 +0300, Juha Manninen
>> <juha.manninen62 at 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